Невідома модель OpenAI розв'язала математичну задачу, над якою працювали майже 100 років

OpenAI заявила про можливий прорив у розв’язанні однієї з найвідоміших математичних проблем сучасності — задачі Нав'є — Стокса. За даними компанії, її нова експериментальна модель штучного інтелекту змогла знайти розв’язання приблизно за 88 годин.
Задача Нав'є — Стокса входить до переліку семи «проблем тисячоліття», сформованого Математичним інститутом Клея у 2000 році. За розв’язання кожної з них передбачена премія у розмірі $1 млн.
Рівняння Нав'є — Стокса описують поведінку рідин і газів, зокрема рух води та повітря. Вони мають широке застосування у прогнозуванні погоди, авіабудуванні та інших сферах. Головна математична проблема полягає в тому, щоб довести, чи можуть у тривимірному потоці виникати розриви, коли параметри системи стають нескінченними за кінцевий час.
Для роботи над задачею OpenAI залучила близько 10 тисяч автономних AI-агентів. Вони спільно сформували доведення обсягом 165 сторінок. Після цього модель GPT-6 Astra ще 17 годин витратила на формалізацію та перевірку результату за допомогою системи Lean.
Загалом під час експерименту штучний інтелект згенерував близько 300 млрд токенів і понад 4,9 млн повідомлень. Безпосередньо на задачу Нав'є — Стокса припало близько 130 млрд токенів та 2,7 млн повідомлень.
За оцінками експертів, аналогічний обсяг обчислень для звичайного користувача міг би коштувати близько $10 млн за комерційними тарифами.
Втім, заява OpenAI вже стала предметом дискусій серед математиків. Професор Нью-Йоркського університету Трістан Бакмастер розповів, що разом із дослідником Anthropic Левентом Альпоге також працював над цією проблемою за допомогою OpenAI Codex. Він припустив, що прогрес їхньої роботи міг стати відомим розробникам ChatGPT, однак наголосив, що не звинувачує компанію у використанні чужих матеріалів.
В OpenAI заперечили будь-яке несанкціоноване використання сторонніх напрацювань або приватних даних користувачів. У компанії зазначили, що їхній підхід і отримане доведення відрізняються від роботи інших дослідників.
Водночас остаточно назвати проблему розв’язаною поки що не можна. За правилами Математичного інституту Клея, результат має пройти наукову перевірку, бути опублікований у фаховому виданні та отримати визнання математичної спільноти щонайменше протягом двох років.
Лише після цього може йтися про офіційне визнання розв’язання та виплату премії у $1 млн. В OpenAI вже заявили, що не планують претендувати на цю винагороду, а сам експеримент розглядають як демонстрацію можливостей сучасного штучного інтелекту.





