OpenAI представила 722 математических рукописи с решениями давних задач

OpenAI объявила о выпуске крупного пакета научных материалов — 722 рукописей, сгруппированных в 372 семейства результатов, полученных с помощью ещё не анонсированной «frontier» модели, которую в отрасли называют предшественником GPT‑5. В этих публикациях представлены решения ряда давно открытых математических задач, включая некоторые из известных проблем в теории чисел, топологии и комбинаторике. По словам команды OpenAI, модель смогла генерировать полные доказательства, которые прошли предварительную проверку внутренними экспертами компании.

Пакет доступен на GitHub в репозитории OpenAI/Math-Release, где каждый документ снабжён подробным описанием метода, исходным кодом генерации и ссылками на соответствующие арxiv‑препринты. Среди решённых задач — улучшенные оценки в гипотезе о распределении простых чисел, новые конструкции в алгебраической геометрии и несколько открытых вопросов в теории графов, которые ранее оставались без ответа более десяти лет.

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

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