Появилось некое доказательство на 102 страницы, про что пишут тут: http://yvl.livejournal.com/14141.html, ниже в комментах есть ссылка на само доказательство: http://www.scribd.com/doc/35539144/pnp12pt. Интересно, найдут там ошибки, или нет.