🤖ИИ и задача на миллион долларов

8 сентября OpenAI объявила о решении задачи Навье — Стокса — одной из семи задач тысячелетия. За решение каждой Математический институт Клея назначил премию в $1 млн.
Напомним: одну из этих задач — гипотезу Пуанкаре — доказал российский математик Григорий Перельман. От миллиона он отказался.

По данным OpenAI, над задачей работали около 10 тысяч ИИ-агентов на базе внутренней модели, название которой компания не раскрыла. По ее оценке, модель значительно превосходит GPT‑6 Astra. На поиск доказательства ушло 88 часов и примерно 130 млрд выходных токенов. Еще 17 часов заняли формализация и проверка в Lean — системе проверки математических доказательств. На этом этапе использовали GPT‑6 Astra.

Однако на сайте института Клея задача пока числится нерешенной. Для рассмотрения премии необходимы публикация в издании, соответствующем требованиям института, минимум два года после нее и общее признание математического сообщества.

🔎Возник и другой вопрос: не подсмотрел ли ИИ чужие подсказки? Математик Нью-Йоркского университета Тристан Бакмастер и сотрудник Anthropic Левент Альпёге работали над близкими задачами с помощью Claude и Codex. Бакмастер публично спросил, могли ли их неопубликованные черновики, загруженные в Codex, повлиять на систему OpenAI. При этом он подчеркнул: ему неизвестно, использовались ли их данные.

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

Примет ли сообщество доказательство и как оценит вклад ИИ — еще предстоит увидеть. Если результат подтвердится, нерешенных задач останется пять. Интересно, сколько из них удастся решить с помощью ИИ и кто окажется быстрее — люди, алгоритмы или совместные команды.

💰Похоже, у задач тысячелетия намечается традиция: к доказательству прилагается отказ от миллиона долларов.