[Перевод] Почему доказательство квазигипотезы Римана от OpenAI удивило самих математиков

6 октября OpenAI выложила 722 математические статьи, и одна из них заявила доказательство квазигипотезы Римана: все нетривиальные нули дзета-функции лежат в полосе более узкой, чем известная с XIX века. Специалисты по теории чисел за две недели разобрали доказательство и в основном согласны, что оно верно. Новых понятий в нём нет — модель нашла упущенное семейство функций и свела воедино давно известные методы, включая формулу, которую Радзивилл и Данн доказали в 2021 году. При этом статьи «написаны ужасно», и это единственная из 722, которую правил человек: кто он и почему правили только её, OpenAI не ответила. Рассказываем, что именно доказано, почему последствия называют ошеломляющими и почему до самой гипотезы Римана, возможно, так же далеко, как раньше. Хотя ещё несколько недель назад так сказали бы и о квазигипотезе.