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