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