[Перевод] ИИ доказал квазигипотезу Римана. Что дальше?

Среди 377 результатов, о которых OpenAI объявила 6 октября 2026 года, один особенно выделялся. Компания заявила, что ей удалось доказать «квазигипотезу Римана», более слабую версию гипотезы Римана, которую можно назвать важнейшей нерешённой проблемой математики. Новое доказательство, по словам Джареда Дьюкера Лихтмана из Стэнфордского университета, стало «самым значительным на сегодняшний день достижением ИИ в математике, причём с большим отрывом». Гипотеза Римана остаётся нерешённой уже более 160 лет. Её доказательство позволило бы математикам лучше понять природу простых чисел, одного из важнейших строительных блоков математики. И это только для начала. Даже последствия более ограниченного результата, касающегося квазигипотезы Римана, «ошеломляют», заявил Максим Радзивилл из Нью‑Йоркского университета. «В некотором смысле подавляющее большинство следствий гипотезы Римана уже вытекает из квазигипотезы Римана». Более того, вопреки давним ожиданиям математиков, для доказательства не потребовалось вводить никаких новых понятий. Вместо этого удалось обнаружить скрытые связи между уже известными. «Это доказательство представляет собой неожиданное объединение хорошо известных идей», — сказал Александр Данн из Технологического института Джорджии. Доказательство частично опирается на методы, разработанные Радзивиллом и Данном. Вместе с другими специалистами по теории чисел они пытаются разобраться в доказательстве и понять, что оно может означать. Теперь они начинают получать ответы.