OpenAI решает задачу из списка «Миллениум» — прорыв в математике с помощью ИИ

За последние 12 месяцев мир ИИ пережил настоящий бум в области чистой математики. OpenAI объявила о решении одной из семи задач Миллениум — гипотетической задачи, за решение которой полагается премия в один миллион долларов. По словам исследователей, система, построенная на модели GPT‑5, смогла построить доказательство, которое прошло независимую проверку трёх ведущих математических институтов.

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

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

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