OpenAI объявила решение задачи Миллениума: академия в шоке

OpenAI объявила, что её модель создала полное доказательство одной из задач Миллениума — гипотезы Римана. Команда запустила 2023‑й набор данных, обучила GPT‑5 на тысячах статей и проверила выводы с помощью автоматических доказателей.

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

Если доказательство выдержит проверку, OpenAI может претендовать на миллион долларов от Clay Mathematics Institute, хотя правила требуют, чтобы работа была написана людьми.

Эксперты предупреждают, что такой прорыв меняет правила игры: автоматическое генерирование доказательств ускорит исследования, но поднимает вопросы о прозрачности, ответственности и роли человеческого интеллекта.

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