🤖 Теренс Тао о «Math 2.0»: что после «матхокалипсиса» OpenAI
В октябре 2026 года OpenAI опубликовала в GitHub-репозитории openai/math 722 рукописи (372 темы) с решениями или частичными результатами по нерешённым математическим задачам — среди них значатся гипотезы Римана, Бирча — Свиннертон-Дайера и Ходжа. Около 50% работ уже формализованы в Lean, 3 рукописи отозваны и 14 пересмотрены за первые сутки. В ответ Теренс Тао прочитал в Caltech публичную лекцию «Math 2.0»: доказательства перестали быть дефицитом, и точка роста смещается к пониманию, организации знаний и применению математики в реальных задачах.
🌍 Массовый выпуск AI-доказательств (около 4000 задач, в среднем 3 часа на результат) и параллельная инициатива First Proof (1stproof.org) с прозрачной верификацией формируют новый стандарт оценки AI в математике: от «нашёл ответ» к «проверено и понято». Это меняет требования к proof-ассистентам вроде Lean, к процедурам peer review и к тому, как лаборатории отчитываются не только об успехах, но и о провалах и вычислительных затратах.
👤 Ключевой вопрос по Тао — проверка: что именно доказано, какие предпосылки использованы, где результат формализован, а где требует человеческой интерпретации. Все артефакты открыты: репозиторий openai/math, текст и слайды лекции Тао, видео на YouTube. Статус каждой темы — «решение» или «частичный результат» — лучше выяснять по первоисточникам, а не по громким заголовкам.
Источник 1: https://terrytao.wordpress.com/2026/10/10/math-2-0/ Источник 2: https://en.wikipedia.org/wiki/OpenAI_bulk_release_of_mathematical_papers