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