OpenAI заявила о доказательстве коллапса Навье — Стокса, математики оспаривают

8 сентября 2026 года OpenAI сообщила, что её внутренняя модель, «значительно мощнее GPT-6 Astra», доказала и формализовала в Lean утверждения C и D задачи тысячелетия о Навье — Стокса: гладкое решение может дать бесконечную скорость за конечное время. Прогон занял около 88 часов, 10 000 агентов, 2,7 млн сообщений и ~130 млрд выходных токенов (~$6,5 млн по ценам Astra). Профессор NYU Тристан Бакмастер заявил, что OpenAI начала работу после того, как узнала о его результатах с Levent Alpöge, и что ему предлагали отказаться от соавторства.

• Прогон: ~10 000 агентов, 88 часов, 2,7 млн сообщений, ~130 млрд токенов
• Оценка стоимости по ценам GPT-6 Astra — около $6,5 млн при призе $1 млн
• Формализация и проверка в Lean заняли 17 часов с GPT-6 Astra
• Бакмастер: первый промпт отправлен после утечки информации о его работе