ИИ похоже решил одну из самых сложных нерешённых задач в математике: задачу Навье — Стокса.

И история вокруг этого становится всё интереснее.

Математик Tristan Buckmaster утверждает, что в OpenAI ему сообщили: их внутренняя исследовательская модель получила доказательство объёмом примерно в 100 страниц.

Само доказательство пока не опубликовано и независимо не проверено.

Контекст такой:

→ Buckmaster и Levent Alpöge около года работали над очень конкретным подходом к этой задаче, используя Claude и Codex в качестве исследовательских инструментов.

→ В августе им удалось серьёзно продвинуться, а часть результатов они формально проверили в Lean.

→ По словам Buckmaster, информация об их прогрессе дошла до OpenAI.

→ Через несколько дней исследователи OpenAI сообщили ему, что их внутренняя модель тоже вышла на результат по Навье — Стоксу через гладкую внешнюю силу. По словам Buckmaster, это очень близко к тому специфическому направлению, над которым всё это время работали они с Alpöge.

→ И вот здесь начинается самое странное: все неопубликованные черновики их проекта на протяжении работы загружались в Codex.

→ Buckmaster спросил, могла ли модель OpenAI обучаться на данных из этих сессий. По его словам, ему ответили, что модель не обращается напрямую к пользовательским данным, но на отдельный вопрос именно об обучении он ответа так и не получил.

→ При этом сам Buckmaster прямо говорит, что не знает, использовались ли их данные.

И на этом история не закончилась.

По словам Buckmaster, дальше начался спор о том, как публиковать результат и кому должно достаться авторство. В том числе обсуждался вариант, при котором Alpöge, работающий в Anthropic, вообще не был бы указан среди авторов.

Sebastien Bubeck из OpenAI оспаривает версию Buckmaster.