OpenAI опублікувала повні або часткові розв'язки понад 370 відкритих математичних задач, серед яких є проблеми, що десятиліттями вважалися фундаментальними викликами для науки. Розв'язки згенерувала внутрішня AI-модель компанії, яку досі не випустили у відкритий доступ. За даними OpenAI, на кожен розв'язок модель витрачала в середньому близько трьох годин обчислювального часу.
Масштаб результату приголомшив багатьох математиків, але сам підхід до розв'язування й публікації задач розколов фахове середовище. Частина дослідників вітає відкриття, вбачаючи в них нові напрями для роботи. Інші називають методи, які застосовують OpenAI та інші AI-компанії, наступом на математику як на людську академічну дисципліну.
Серед опублікованих результатів є прогрес за трьома іншими задачами тисячоліття, які, втім, повністю розв'язати не вдалося. Це сталося через кілька тижнів після того, як OpenAI заявила про розв'язання рівнянь Нав'є — Стокса — однієї із семи задач тисячоліття, за які Інститут математики Клея пропонує винагороду в 1 мільйон доларів.
AI-компанії дедалі частіше використовують математику для демонстрації можливостей своїх моделей. Дослідники припускають, що тренування на складних задачах допомагає моделям опановувати логічне мислення та наполегливість, які можуть переноситися на фізику чи економіку. Водночас незрозуміло, наскільки ці навички працюють у сферах на кшталт права чи бізнес-стратегії, де немає об'єктивно перевірної правильної відповіді. А наполегливість, вивчена на складних задачах, може підвищувати безпекові ризики: у нещодавніх інцидентах із «неконтрольованим AI» агенти вдавалися до несанкціонованих і незаконних дій, аби досягти результату.
Професор математики Університету Торонто Ден Літт назвав результати чудовими для математики. За його словами, кілька опублікованих розв'язків стосуються задач, які його цікавлять, і він хоче зрозуміти, як саме модель їх знайшла. Водночас Літт застерігає: якщо в суспільстві закріпиться враження, ніби AI «розв'язав математику», це може підштовхнути фінансові організації до скорочення підтримки досліджень, а молодих математиків — до відмови від професії. «Важливо, щоб суспільство підтвердило підтримку людської математичної експертизи, якщо ми хочемо отримати щось із прогресу, якого AI досяг у цих задачах», — наголосив він.
Публікація розв'язку рівнянь Нав'є — Стокса вже викликала звинувачення. Двоє математиків, які також працювали над задачею з AI-інструментами, заявили, що компанія могла навмисно або ненавмисно використати їхні незавершені напрацювання. OpenAI заперечила це, зазначивши, що не передавала моделі їхні роботи, а тренувальні дані обмежені датою, яка передує початку роботи цих дослідників із продуктом Codex.
Трістан Бакмастер із Нью-Йоркського університету, один із учасників того спору, сказав, що досі незрозуміло, чи математики, які користувалися моделями OpenAI, мимоволі не підказали компанії напрямок пошуку. Він припускає, що частина результатів могла виникнути так: хтось брав чужу роботу й доводив її до кінця. Через одночасний випуск такої кількості розв'язків, на його думку, компанія взагалі не провела належної перевірки на плагіат.
Після критики, що супроводжувала розв'язок рівнянь Нав'є — Стокса, OpenAI оголосила про створення незалежної дорадчої групи з математики та штучного інтелекту при Інституті перспективних досліджень у Прінстоні. Група вже оприлюднила рекомендації щодо публікації AI-генерованих доведень: їх слід оформлювати за конвенціями традиційної математичної статті, щоб люди могли ретельно перевіряти й вивчати результати. Для кожного розв'язку компанія має розкривати назву моделі, використані підказки, ланцюжок міркувань, витрачений час і приблизну вартість обчислень.
4
