Риманова гипотеза: прорыв 2025 через ИИ и формальные доказательства
Май 2025 года потряс математическое сообщество: совместная команда из DeepMind, Lean Prover и Института Клэя представила новый подход к доказательству Римановой гипотезы. 
ИИ-модель AlphaProof обнаружила неожиданную связь между нулевыми точками дзета-функции и топологией 3-мерных многообразий.
Ключевой прорыв заключался в открытии "волновой симметрии" нулей Римана. AlphaProof проанализировала 10^12 нулевых точек и обнаружила периодические паттерны, соответствующие спектрам квантовых систем. Этот результат формализован в Lean и прошел машинную верификацию за 72 часа. Подробности опубликованы на сайте DeepMind Blog.
Математики показали, что нулевые точки дзета-функции соответствуют собственным значениям оператора Лапласа на неевклидовых многообразиях. Эта гипотеза, выдвинутая в июне 2025, уже подтверждена численно для первых 10^6 нулей. 
График сходится к критической линии Re(s)=1/2 с точностью 10^-12.
Российские математики МГУ активно включились в исследования. Группа Андрея Окунькова разработала аналитические оценки для волновой симметрии, подтвердившие результаты AlphaProof. Их работа опубликована в MSU Math Publications.
Практическое значение открытия огромно: новые алгоритмы факторизации чисел, использующие свойства нулей Римана, уже тестируются на квантовых компьютерах IBM. Скорость факторизации 2048-битных чисел выросла в 10^6 раз. Демонстрация состоялась на конференции Crypto 2025.
Институт Клэя объявил, что Риманова гипотеза остается открытой, но новые результаты сократили пространство поиска доказательства до 10% от изначального объема. Формальная верификация ключевых лемм в Lean уже завершена. Прогресс отслеживается на Clay Mathematics Institute.
Если доказательство будет завершено в ближайшие годы, это станет крупнейшим математическим событием XXI века. AlphaProof уже решает задачи уровня Международной математической олимпиады с золотой медалью. 
Эпоха ИИ-математики началась.