OpenAI представила безліч математичних досягнень, отриманих за допомогою своєї ще не випущеної моделі штучного інтелекту.

Євгеній Демківський - журналіст видання "Межа" та гік. Моя діяльність зосереджена на технологічних новин, кінематографі та ігровій індустрії. Особливо захоплююся саме світом ігор.

OpenAI опублікувала 722 математичні дослідження, які були створені її експериментальною ШІ-моделлю. Ці матеріали містять рішення незакритих задач, нові доведення та спростування відомих гіпотез.

Роботи розмістили на GitHub і згрупували у 372 сімейства за напрямами математики. До репозиторію увійшли PDF-файли, вихідні матеріали, дані для цитування та формалізовані доведення мовою Lean, які можна перевірити за допомогою комп'ютера.

Однак формалізацію мають не всі опубліковані результати. OpenAI прямо попереджає, що частина неперевірених робіт може містити помилки. Компанія планує виправляти їх і зберігати попередні версії, щоб усі зміни залишалися доступними.

Модель отримала приблизно 4000 відкритих математичних задач. На кожен результат у середньому витрачали обчислювальні ресурси, еквівалентні трьом годинам роботи режиму Thinking у ChatGPT Pro. OpenAI також опублікувала десять скорочених описів міркувань моделі.

Компанія не розкриває назву своєї системи. OpenAI лише вказує, що це їхня внутрішня передова модель і повідомляє про зусилля, спрямовані на забезпечення її безпечного запуску.

Формат публікації був узгоджений з автономною консультативною групою Інституту перспективних досліджень. Ця група сприяла розробці норм цитування, коригування інформації та представлення результатів для математичної спільноти.

У вересні OpenAI заявила, що її ШІ знайшов розв'язання проблеми існування та гладкості рівнянь Нав'є - Стокса, однієї із семи задач тисячоліття. Доведення ще має пройти перевірку математичної спільноти.

Після оголошення про нові досягнення в математиці OpenAI зазнала критики за можливе несумлінне ставлення до наукової співпраці. Компанія вирішила зайнятися цією проблемою, зважаючи на чутки про успіхи інших дослідників, які ще не представили свої результати публічно.