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, встановлений за цю задачу Clay Mathematics Institute.
Інститут Клея й далі класифікує задачу як «активну» й 11 вересня зазначив, що оголошення OpenAI, вочевидь, розв'язує питання по суті, але його правила вимагають ретельної, повільної експертизи перед будь-яким рішенням щодо нагороди. Ця процедура ще не завершена. Окрема премія Сана спирається на машинно-перевірювані докази й назвала команду OpenAI переможцем, не чекаючи на традиційний багаторічний рецензування.
Також читайте: Біткоїн-майнінг стикається з 50% дефіцитом хешрейту, доки ШІ поглинає потужності
Правила премії Джастіна Сана
Сан пояснив, що його премія покликана винагороджувати результат незалежно від того, хто його досяг — людина чи ШІ — і ставить формальну верифікацію в центр відбору. «Мене цікавить лише результат, а не те, чи є автором людина чи машина», — сказав Сан. Водночас у його репозиторії зазначено, що заява OpenAI не є рецензованою публікацією, а широкого визнання математичної спільноти доказ ще не отримав.
Питання щодо авторства залишаються відкритими, оскільки професор Трістан Бакмастер з Нью-Йоркського університету заявив, що неопубліковану спільну роботу було збережено в одному з продуктів OpenAI, але він не знає, чи використала її модель. «Я нікого ні в чому не звинувачую», — сказав Бакмастер в інтерв’ю The Guardian. OpenAI у відповідь заявила, що внутрішнє розслідування показало: його запити до Codex не могли вплинути на систему, яка згенерувала доказ.
Конфлікт спалахнув після того, як 8 вересня OpenAI оголосила, що її внутрішня система розв'язала класичну задачу про існування та гладкість розв'язків рівнянь Нав'є — Стокса, продемонструвавши виникнення сингулярності за скінченний час за офіційно прийнятих умов.
Інститут Клея заснував програму Millennium Prize Problems у 2000 році, закріпивши за кожною з семи задач винагороду у $1 млн. Понад два десятиліття потому задача Нав'є — Стокса формально залишається відкритою, тоді як математики аналізують новий доказ і розбираються з питаннями пріоритету.
Читати далі: Shiba Inu усунула збій посилання на гаманець Shibarium, але SHIB втрачає 6% за тиждень
