OpenAI официально значится победителем первого математического приза Джастина Сана в размере $1 млн за доказательство по Навье — Стоксу, однако вознаграждение так и не было востребовано, как и классический приз Клея.
Ключевые моменты:
- В репозитории приза Сана задача Навье — Стокса, решённая OpenAI, помечена как закрытая, допущенная к выплате и при этом остаётся невостребованной.
- По данным OpenAI, над задачей работали около 10 000 ИИ‑агентов на протяжении примерно 88 часов, после чего GPT‑6 Astra ещё 17 часов формализовывала и проверяла доказательство.
- Институт математики Клея по-прежнему считает задачу Навье — Стокса активной, пока идёт экспертная проверка представленного результата.
Приз OpenAI
Новый приз Сана назначил исследовательскую команду OpenAI лауреатом первого максимального вознаграждения в $1 млн за решение трёхмерной задачи Навье — Стокса. В открытой записи на GitHub задача обозначена как решённая и допущенная к получению приза. Деньги при этом никто не запросил.
OpenAI опубликовала результат 8 сентября, сообщив, что около 10 000 агентов работали над задачей порядка 88 часов, после чего модель GPT‑6 Astra в течение ещё 17 часов формализовывала и верифицировала доказательство в системе Lean. Компания заявила, что не намерена претендовать на миллионный Millennium Prize, учреждённый по этой задаче Институтом математики Клея.
В Институте Клея до сих пор классифицируют задачу как открытую и 11 сентября отметили, что заявление OpenAI, по-видимому, решает постановку вопроса, однако регламент требует тщательной и продолжительной экспертизы перед любым решением о присуждении премии. Этот процесс ещё не завершён. Отдельный приз Сана опирается на машинно проверяемые доказательства и присудил награду команде OpenAI без ожидания традиционного многолетнего рецензионного цикла.
Также по теме: Биткоин‑майнинг сталкивается с 50% разрывом в хешрейте на фоне оттока мощности в ИИ
Правила приза Джастина Сана
Сан утверждает, что его приз устроен так, чтобы поощрять результаты вне зависимости от того, получены ли они человеком или ИИ‑системой. В центр процедуры он ставит формальную верификацию. «Меня интересует только результат, а не то, человек или машина его получила», — подчеркнул он. В документации репозитория также отдельно оговаривается, что объявление OpenAI не является рецензируемой публикацией, а широкое признание сообщества математиков пока не состоялось.
Вопросы об авторстве остаются открытыми из‑за заявлений профессора Нью-Йоркского университета Тристана Бакмастера, который сообщил, что неопубликованная совместная работа хранилась в одном из продуктов OpenAI, хотя он не знает, использовала ли её модель. «Я никого ни в чём не обвиняю», — сказал он в комментарии The Guardian. OpenAI, в свою очередь, заявила, что её внутренняя проверка показала: запросы Бакмастера в Codex не могли повлиять на систему, породившую доказательство.
Спор разгорелся после заявления OpenAI от 8 сентября о том, что её внутренняя система решила классическую задачу о существовании и гладкости решений уравнений Навье — Стокса, продемонстрировав конечновременную сингулярность при официально заданных условиях.
Институт Клея учредил программу Millennium Prize Problems в 2000 году, назначив по $1 млн за каждую из семи фундаментальных задач. Более чем два десятилетия спустя задача Навье — Стокса формально остаётся открытой, пока математики проверяют новое доказательство и разбираются с вопросами научного приоритета и признания.
Читайте далее: Shiba Inu устраняет некорректную ссылку на кошелёк Shibarium, но SHIB теряет 6% за неделю
