ИИ доказал квазигипотезу Римана. Что дальше?
Quanta сообщает, что модель OpenAI построила доказательство квазигипотезы Римана — ослабленной версии гипотезы Римана, причём одна из версий была формально верифицирована в Lean. Теоретики чисел, изучившие доказательство, в целом согласны с его корректностью и называют его самым значительным достижением ИИ в математике на сегодня. Полную гипотезу Римана это не решает, но показывает, что ИИ способен синтезировать существующие идеи для задач, которые эксперты считали недостижимыми.
ИСТОЧНИКИ
- Hacker News (AI)2026-10-19 17:09