Компанія OpenAI зробила черговий масштабний і водночас неоднозначний крок у сфері штучного інтелекту, виклавши у відкритий доступ на платформі GitHub репозиторій із 722 математичними роботами, які були згенеровані її новітньою невипущеною внутрішньою моделлю. Цей безпрецедентний масив даних охоплює 372 сімейства відкритих дослідницьких задач, нові теоретичні доведення, спростування відомих гіпотез, а також формалізовані доведення мовою Lean, придатні для автоматизованої комп’ютерної перевірки.
Аналіз безпрецедентної публікації та технічні деталі проєкту
Створені штучним інтелектом матеріали розділені на категорії за ключовими математичними дисциплінами та містять не лише PDF-файли препринтів, але й вихідні дані з інструкціями для цитування. Згідно з офіційними розкриттями компанії, на пошук та опрацювання кожної подібної наукової праці витрачалися обчислювальні потужності, еквівалентні приблизно трьом годинам інтенсивного режиму міркувань у ChatGPT Pro.
Особливості верифікації та можливі ризики
Важливим аспектом релізу є те, що далеко не всі опубліковані результати наразі мають завершену формалізацію у середовищі Lean:
- частина математичних викладок перебуває на ранніх етапах перевірки;
- компанія прямо попереджає про ймовірність наявності помилок в неформалізованих текстах;
- OpenAI зобов’язалася оперативно вносити правки, зберігаючи при цьому повну історію попередніх версій у відкритому доступі.
Організація випуску погоджувалася з незалежною консультативною групою Інституту перспективних досліджень, яка допомогла розробити етичні правила цитування та представлення таких результатів для академічної спільноти.
Контекст та академічні суперечки навколо наукових досягнень ШІ
Ця подія органічно доповнює серію гучних заяв техногіганта, зокрема вересневі новини про те, що алгоритми OpenAI нібито знайшли підходи до розв’язання рівнянь Нав’є – Стокса — однієї з елітних задач тисячоліття. Водночас подібна агресивна стратегія публікацій викликає чимало тривоги й гострої критики серед провідних математиків світу.
- Порушення традиційних норм етики та академічної співпраці через надто швидкі публікації без класичного тривалого рецензування.
- Звинувачення на адресу компанії у використанні закритих напрацювань інших дослідницьких груп, які вели паралельні пошуки у схожих напрямах.
- Дискусії про те, чи є подібні дії кінцем звичної математики у її класичному розумінні, чи новим етапом еволюції наукового прогресу.
