OpenAI доказала «квазигипотезу Римана» — и математики всё ещё спорят, что это значит

6 октября OpenAI опубликовала пакет из 722 математических работ. Одна из них содержала доказательство квазигипотезы Римана: утверждения, что все нетривиальные нули дзета-функции располагаются в более узкой полосе, чем та, которую знали с XIX века. Об этом рассказывает перевод на Habr.

Специалисты по теории чисел потратили две недели на разбор и в основном признали результат корректным. Примечательно, что новых понятий в доказательстве нет: модель отыскала пропущенное семейство функций и собрала воедино давно известные приёмы, включая формулу, доказанную Радзивиллом и Данном в 2021 году.

С текстами, впрочем, беда: статьи, по словам математиков, «написаны ужасно». Правил человеком только один материал из 722 — и тот самый. Кто это был и почему правка коснулась лишь одной работы, OpenAI не ответила.

Последствия называют ошеломляющими. Но до полной гипотезы Римана, возможно, по-прежнему далеко — хотя ещё несколько недель назад так говорили и о квазигипотезе.