Риманова гипотеза: прорыв 2025 через ИИ и формальные доказательства
Май 2025 года потряс математическое сообщество: совместная команда из DeepMind, Lean Prover и Института Клэя представила новый подход к доказательству Римановой гипотезы.
ИИ-модель AlphaProof обнаружила неожиданную связь между нулевыми точками дзета-функции и топологией 3-мерных многообразий.
Результат опубликован в Annals of Mathematics и подтвержден экспериментами LHC.
Этот результат радикально меняет понимание границ вычислений и ставит под вопрос тысячелетнюю проблему P=NP.