🤖 OpenAI заявила о решении задачи тысячелетия — но доказательств нет
Математик Тристан Бакмастер (NYU Courant) заявил: 6 сентября на звонках с участием главы матнаправления OpenAI Себастьена Бюбека ему сказали, что внутренняя модель получила доказательство «blow-up» для уравнений Навье–Стокса с внешней силой — около 100 страниц. Документ не опубликован, проверки нет, Институт Клэя числит задачу нерешённой.
🌍 Если подтвердится, это первый случай, когда ИИ закрывает задачу тысячелетия с призом $1 млн. Механизм уже показан: человек с LLM (Claude, OpenAI Codex) довёл программу «форсированного» blow-up до уравнений Эйлера за месяц; первый результат верифицирован в Lean.
👤 Рано объявлять победу: доказательство никто не видел, а внешняя сила — возможная лазейка в условии Клэя. Следите за preprint и Lean-сертификатом OpenAI и позицией Института Клэя.
Источник 1: https://cims.nyu.edu/~tristanb/statement.pdf