OpenAI доказала квазигипотезу Римана: математики признали результат ИИ

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

В доказательстве нет новых понятий — модель нашла упущенное семейство функций и свела воедино давно известные методы, включая формулу, доказанную Радзивиллом и Данном в 2021 году. При этом статьи «написаны ужасно», и только эту одну правил человек. Кто он и почему правили именно её, OpenAI не ответила.

Что именно доказано и почему последствия называют ошеломляющими — пока неясно, но до полной гипотезы Римана, возможно, так же далеко, как раньше. Хотя ещё несколько недель назад так сказали бы и о квазигипотезе.