🌊 Кажется, у нас готов сценарий для детектива

В 2000 году Институт Клэя назвал 7 главных нерешенных задач математики и пообещал за каждую приз в $1 млн. Премию присуждали лишь однажды: в 2010 году Григорию Перельману за гипотезу Пуанкаре. Он, как вы знаете, от награды отказался.

8 сентября OpenAI (компания, которая делает ChatGPT) объявила, что ее еще не выпущенная модель решила задачу об уравнениях Навье — Стокса, которые описывают движение жидкостей. Математика там очень сложная, так что углубляться не будем, да и главное в этой истории не она. Над задачей работали около 10 000 ИИ-агентов, а доказательство проверили в Lean, программе для формальной проверки.

🧩 Главный твист
За 12 часов до этого математик Тристан Бакмастер из Нью-Йоркского университета вместе с Левентом Альпеге, сотрудником конкурирующей компании Anthropic, опубликовал результаты для родственных уравнений. Они работали над ними почти год и использовали в том числе Claude от Anthropic и Codex от OpenAI.

В своем заявлении Бакмастер утверждает, что OpenAI взялась за задачу после слухов об их работе и пришла к решению тем же редким путем. Он спросил, не обучалась ли модель на их черновиках, которые они загружали в Codex, и ответа не получил. OpenAI говорит, что их работу не видела, но признает: полностью исключить, что обезличенные данные пользователей помогли улучшить модели, нельзя.

💡 Хороший повод напомнить себе и детям: не стоит загружать в чат-боты то, чем не готовы поделиться. И заглянуть в настройки — во многих сервисах можно запретить обучение на своих диалогах.

🤔 Так кто же решил задачу?
Пока официально никто. Институт Клэя пишет, что задача, по-видимому, решена, но проверка и распределение заслуг займут какое-то время. OpenAI на премию претендовать не будет. А сам подход придумали математики из Мадрида Диего Кордоба и Луис Мартинес-Сороа. Автор официальной формулировки задачи Чарльз Фефферман назвал их главными героями этой истории.

📌 В канале «МТ кружков» мы недавно рассказывали про лекцию Теренса Тао, одного из самых известных математиков мира. Он говорит, что найти доказательство — только первый шаг: дальше его нужно проверить, понятно изложить и добиться, чтобы его приняло сообщество. И этот финальный шаг — самый важный. Почитайте, там тоже очень интересно.