🤖 У математиков случилось то, что скоро случится почти в любой профессии. Матокалипсис!
8 сентября OpenAI объявила, что её невыпущенная модель, сильнее GPT-6 Astra, доказала конечный по времени «взрыв» гладких решений 3D-уравнений Навье–Стокса — одну из семи задач-«тысячелеток» Клей. Расчёт: ~10 000 параллельных агентов, ~88 часов, формализация в Lean; независимо пока не проверено.
🌍 25 лауреатов Филдсовской премии подписали декларацию, OpenAI выложила 722 рукописи на GitHub: гонка за приоритет вместо рецензируемых статей ломает атрибуцию, а ресурсный разрыв делает математику зависимой от нескольких ИИ-лабораторий.
👤 Проверить можно самому: Lean-формализации и reasoning-суммарии — в openai/math, декларация — на mathandai.org.
Источник 1: https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/ Источник 2: https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model