ОтветыОпубликовано21 источники
Почему OpenAI не забрала приз Джастина Сана в $1 млн за задачу Навье—Стокса
По состоянию на 17 сентября 2026 года OpenAI числилась имеющей право получить $1 млн премии Джастина Сана за результат по Навье—Стоксу, однако награда оставалась невостребованной. Машинная проверка подтверждает вывод теоремы из формализованных предпосылок, но не заменяет независимого разбора того, полностью ли форма...
ОпубликовалОтредактировано с помощью GPT-5.6 TerraИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- По состоянию на 17 сентября 2026 года OpenAI числилась имеющей право получить $1 млн премии Джастина Сана за результат по Навье—Стоксу, однако награда оставалась невостребованной.
- Машинная проверка подтверждает вывод теоремы из формализованных предпосылок, но не заменяет независимого разбора того, полностью ли формализация соответствует условиям задачи премии тысячелетия.
- Математик Тристан Бакмастер заявил о проблемах с атрибуцией работы; OpenAI это оспаривает, а окончательного независимого вывода по спору пока нет.
Промпт ИИ
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI оказалась в необычной ситуации: её работа по уравнениям Навье—Стокса получила главную награду в новой математической премии Джастина Сана — $1 млн, но компания, по сообщениям, деньги не забрала. Причина важнее самого денежного приза: речь идёт не только о том, нашёл ли ИИ доказательство, но и о независимой проверке, приоритете, авторстве и границах формальной верификации. 3
6
8
9
Что именно заявила OpenAI
8 сентября 2026 года OpenAI опубликовала изложение результата и его формализацию в Lean — языке и системе для формальной проверки математических доказательств. Компания утверждает, что её внутренняя система получила аналитическое доказательство: изначально гладкая покоящаяся жидкость под действием гладкой внешней силы может за конечное время развить сингулярность. 6
Это существенно, но важно не упрощать формулировку. В терминологии условия Clay Mathematics Institute результат относится к пути контрпримера при внешнем воздействии — случаям C и D. Он не доказывает альтернативы A и B, то есть глобальную гладкость в невынужденном случае. Поэтому фраза «задача Навье—Стокса решена» без уточнения способна ввести в заблуждение: заявлена конструкция сингулярности при внешней силе, а не универсальный ответ на все трактовки проблемы. 6
18
19
Как ИИ нашёл и проверил доказательство
По версии OpenAI, тестирование ещё обучавшейся внутренней модели на этой задаче началось 28 августа, а после 1 сентября работа была расширена. Компания описывает координированные группы агентов, имевших доступ к программному коду и кэшированным веб-материалам; в проекте по Навье—Стоксу участвовало около 10 000 одновременно работающих агентов. 6
Согласно сообщениям, поиск результата занял примерно 88 часов. Затем GPT-6 Astra около 17 часов формализовала и проверяла работу в Lean. При этом OpenAI подчёркивает: исходное математическое открытие сделала внутренняя модель, заметно более мощная, чем GPT-6 Astra; роль Astra была связана с формализацией и верификацией, а не обязательно с первоначальным нахождением идеи. 6
8
Проверка в Lean — сильное свидетельство того, что записанная теорема логически следует из предпосылок, закодированных в системе. Но сама по себе она не отвечает на другой вопрос: все ли условия исходной формулировки Clay точно перенесены в формальный текст. Также она не заменяет обычную независимую экспертную оценку математического сообщества.
Почему Clay не присудил свой миллион
Премия Clay Mathematics Institute — отдельная награда, не связанная с премией Сана. 11 сентября институт сообщил, что оценивает заявление OpenAI по установленным правилам, и подчеркнул, что процесс намеренно не ускоряется. 1
Правила Millennium Prize требуют, чтобы предлагаемое решение было опубликовано в подходящем издании, после публикации прошло не менее двух лет, а само решение получило общее признание мирового математического сообщества. Поэтому даже подтверждённая, как заявлено, Lean-формализация не может сразу привести к присуждению приза Clay.
Текущий статус таков: OpenAI публично заявила о результате и выложила материалы формализации, но Clay Mathematics Institute не признал его решением своей задачи премии тысячелетия. Математикам ещё предстоит проверить аналитическое доказательство, формализацию и соответствие результата требуемым условиям. 1
6
Что признаёт премия Джастина Сана
16 сентября Сан объявил о запуске своей премии — децентрализованной академической программы вознаграждений за прорывы в фундаментальных исследованиях и машинной формальной верификации. В первом наборе наград фигурировали 66 математических задач; заявленный результат OpenAI по Навье—Стоксу получил главную премию в $1 млн. 3
14
Эта программа устроена шире и быстрее, чем система Clay: она ориентирована на машинно проверяемые доказательства и, по заявленным правилам, допускает участие исследователей-людей, ИИ-систем и смешанных команд человека и ИИ. 4
14
Но это частный приз со своими критериями, а не замена процедурам, через которые математическое сообщество устанавливает корректность, приоритет и долгосрочную значимость результата. Решение присудить награду по правилам Сана не обязывает Clay или независимых исследователей считать вопрос окончательно закрытым.
Почему $1 млн остался невостребованным
По данным публикаций о репозитории премии, OpenAI указана как имеющая право забрать награду, однако на тот момент не сделала этого. Эти сообщения связывают решение с неурегулированным спором о происхождении доказательства и с тем, что OpenAI на данном этапе не добивалась премии Clay. 8
9
В рассмотренных материалах OpenAI не назвала окончательную публичную причину отказа или отсрочки. Поэтому корректнее говорить лишь о возможной логике: получение частной награды, пока остаются вопросы к объёму результата, происхождению идей и распределению заслуг, могло бы выглядеть как преждевременное заявление об окончательности результата.
Спор об авторстве — не второстепенная деталь
Математик Нью-Йоркского университета Тристан Бакмастер заявил, что работа OpenAI опиралась на непубличные исследования. OpenAI это обвинение оспаривает. Представленные источники не фиксируют окончательного независимого разрешения спора. 1
20
Журнал Nature отметил, что этот эпизод показывает потребность в более тесном взаимодействии ИИ-компаний с исследовательским сообществом по вопросам атрибуции и признания вклада. В ИИ-математике системы способны искать, комбинировать и формализовать идеи в необычно большом масштабе, но восстановить происхождение конкретного шага или идеи бывает трудно. 17
20
Сам по себе спор не доказывает, что формальное доказательство неверно. Однако математическая правильность и вопрос заслуг — разные вопросы, и оба имеют принципиальное значение для потенциального прорыва такого уровня.
Как правильно описывать результат сейчас
Заявление OpenAI действительно экстраординарно: компания сообщает о конструкции сингулярности за конечное время для значимой формулировки задачи Навье—Стокса, полученной в масштабном агентном процессе и сопровождаемой Lean-формализацией. 6
18
19
Однако называть это признанным Clay решением задачи премии тысячелетия пока нельзя. Премия Сана в $1 млн, по сообщениям, остаётся невостребованной; процедура Clay самостоятельна и существенно медленнее, а спор об атрибуции не завершён. 1
8
9
20
Следующими ключевыми этапами станут независимая экспертиза математики, проверка точного соответствия формального утверждения условиям задачи и убедительное выяснение приоритета и авторства. До этого наиболее точная формулировка — крайне значимое заявление об ИИ-сгенерированном математическом результате с машинно проверяемой частью, но не окончательный консенсусный итог.
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «Почему OpenAI не забрала приз Джастина Сана в $1 млн за задачу Навье—Стокса»?
По состоянию на 17 сентября 2026 года OpenAI числилась имеющей право получить $1 млн премии Джастина Сана за результат по Навье—Стоксу, однако награда оставалась невостребованной.
Какие ключевые моменты необходимо проверить в первую очередь?
По состоянию на 17 сентября 2026 года OpenAI числилась имеющей право получить $1 млн премии Джастина Сана за результат по Навье—Стоксу, однако награда оставалась невостребованной. Машинная проверка подтверждает вывод теоремы из формализованных предпосылок, но не заменяет независимого разбора того, полностью ли формализация соответствует условиям задачи премии тысячелетия.
Что мне делать дальше на практике?
Математик Тристан Бакмастер заявил о проблемах с атрибуцией работы; OpenAI это оспаривает, а окончательного независимого вывода по спору пока нет.
Источники
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough