OpenAI объявила решение задачи Миллениум‑прайз
OpenAI заявила, что её система нашла решение одной из семи задач Миллениум‑прайз, но эксперты‑математики скептически относятся к достоверности результата.
На этой неделе OpenAI сделала громкое заявление: её модель искусственного интеллекта нашла решение одной из семи задач Миллениум‑прайз, за решение которой Филдс медаль и премия в размере миллиона долларов. По словам представителя компании, система использовала комбинацию огромных языковых моделей, символьных вычислителей и специализированных алгоритмов поиска доказательств.
Подробности публикации доступны в блоге OpenAI и в репозитории проекта, где размещён черновой вариант доказательства, сопровождаемый набором тестов и проверок. Однако уже сейчас ведущие математики выразили серьёзные сомнения: многие указывают на отсутствие формального верифицированного доказательства, необходимость независимой проверки и возможность ошибок в автоматическом выводе.
Среди критиков – профессор Тристан Бакмастер, который отметил, что «AI‑система может генерировать убедительные, но формально некорректные шаги», и призвал к созданию открытого процесса рецензирования. В то же время некоторые исследователи видят в этом шанс ускорить поиск решений в сложных областях, предлагая использовать AI как «исследовательский помощник», а не замену человеку.
Если доказательство будет подтверждено, это может стать прецедентом применения ИИ в фундаментальной математике и открыть новые пути для автоматизации доказательства теорем. Пока же сообщество ждёт независимого аудита и официального подтверждения Филдс Медаль.
Для разработчиков AI это подтверждает, что модели уже способны генерировать сложные математические рассуждения, но без формальной верификации их результаты остаются спорными. Студентам стоит обратить внимание на инструменты автоматической проверки доказательств и готовиться к совместной работе человека и ИИ в исследовательских проектах.
