OpenAI открыла доступ к 722 математическим работам, созданным её не выпущенной искусственной интеллектуальной моделью. По информации компании, эти материалы охватывают решение открытых задач, новые доказательства и опровержения уже известных гипотез.

Все работы размещены на GitHub и сгруппированы в 372 тематические семейства по направлениям математики. В репозиторий вошли PDF-файлы с текстами, исходные материалы, данные для цитирования, а также формализованные доказательства на языке Lean, которые можно проверить с помощью компьютерных средств. При этом не все результаты имеют такую формализацию: OpenAI прямо предупреждает, что часть непроверенных работ может содержать ошибки. Компания планирует постепенно исправлять эти недостатки и сохранять предыдущие версии для прозрачности изменений.

Модель получила около 4000 открытых математических задач. Для получения каждого результата в среднем использовали вычислительные ресурсы, эквивалентные трём часам работы режима Thinking в ChatGPT Pro. Помимо самих работ, OpenAI опубликовала десять сокращённых описаний рассуждений модели.

Название этой системы компания не разглашает, ограничиваясь определением её как внутренней передовой модели. В OpenAI заявили, что работают над безопасным выпуском этой технологии.

Формат публикации согласовывали с независимой консультативной группой Института перспективных исследований, которая помогла разработать правила цитирования, внесения изменений и представления результатов для математического сообщества.

В сентябре OpenAI сообщила, что её ИИ-модель нашла решение проблемы существования и гладкости уравнений Навье – Стокса — одной из семи задач тысячелетия. Это доказательство ещё должно пройти проверку математического сообщества.

После этого анонса некоторые математики раскритиковали OpenAI за возможное нарушение этических норм научного сотрудничества. По их словам, компания начала работу над задачей после слухов о прогрессе других исследователей, которые ещё не успели опубликовать собственные результаты.

"Часть непроверенных работ может содержать ошибки" — отмечает OpenAI в сопроводительных материалах.