Где-то есть люди, для которых теорема верна

[mancunian]

Пусть pn обозначает n-ое простое число. Всем известная гипотеза близнецов гласит, что существует бесконечное число индексов n, таких, что pn+1 - pn = 2. Например, 3 и 5, 11 и 13, 29 и 31, и т.д.

Никто не сомневается в том, что гипотеза верна, но доказать это не могут.

Так вот, только что Ytang Zhang вроде как доказал, что существует бесконечное

Comments

[schegloff]

Является ли доказательством доказательство, доступное только по подписке?

[mancunian]

Хотите почитать?

[schegloff]

Даже если я прочитаю, для меня оно все равно не станет доказательством. Я про Вашу позицию спрашивал.

[eisenberg]

Бывает хуже: доказательства, за разглашение которых могут засудить. Из исторических вспоминается случай с Кардано и Тартальей, из современных - Стивен Вольфрам.
(vserver1.cscs.lsa.umich.edu/~crshalizi/reviews/wolfram/)

[mancunian]

Экий он, однако.