Задачу выбрал человек. Контрпример нашёл искусственный интеллект. Проверили математики. Искусственный интеллект Meta полез в высшую математику и сразу устроил спор
Проверка первоисточника уточнила конфликт. Meta* действительно говорит о пяти закрытых вопросах, но минимум по трём результатам существовали параллельные независимые решения. Публичных подтверждений, что математики признали три работы Meta ошибочными, пока не найдены. Поэтому спор корректнее описывать как вопрос новизны и статуса «открытых задач», а не как опровержение доказательств.
Meta опубликовала шесть математических препринтов, подготовленных исследователями вместе с моделями Muse Spark 1.1 и 1.2. Компания утверждает, что пять работ дают ответы на ранее открытые вопросы в теории вероятностей, дифференциальных уравнениях, теории групп, оптимизации и алгебре. Однако громкая цифра требует оговорки. По нескольким задачам независимые команды успели получить аналогичные результаты параллельно.
Математики работали с Muse Spark через обычный чат Meta AI в режиме Thinking Mode, без специальной исследовательской системы. По данным Meta AI Research, люди выбирали задачи, определяли направление поиска и проверяли аргументы, а модель помогала с вычислениями, поиском контрпримеров, программным кодом и отдельными фрагментами доказательств. Каждая статья отмечает участки текста, которые в основном подготовил ИИ или человек.
Роль Muse Spark заметно различалась от работы к работе. В задаче из теории групп модель написала программу для системы компьютерной алгебры GAP, которая нашла контрпример к гипотезе 2024 года. В исследовании эволюционных алгебр Muse Spark также предложила контрпример и возможные альтернативные формулировки. В работе на стыке теории чисел и p-адической теории струн модель подготовила черновики трёх технических разделов, которые затем проверили и исправили математики.
Meta не утверждает, что ИИ самостоятельно решил шесть задач. Исследователи направляли работу, а отдельная группа математиков проверяла результаты. Компания также прямо признаёт, что некоторые открытия оказались не уникальными.
Для задачи о гауссовых эллипсоидах Meta указывает сразу три независимые работы, появившиеся в августе 2026 года. Другой ИИ-агент Nilradical сообщил контрпример к гипотезе о полуапелевых группах ещё 16 сентября. Независимые исследователи также нашли контрпримеры к гипотезе об эволюционных алгебрах.
Поэтому формула «ИИ решил пять открытых задач» выглядит сильнее, чем фактический результат проекта. Шесть препринтов показывают, что большая языковая модель уже способна приносить пользу в настоящей математической работе под руководством специалистов. Но публикация пока не доказывает, что Muse Spark может автономно выбирать нерешённые задачи, находить новые доказательства и гарантировать их корректность без человеческой проверки.
( * Деятельность компании Meta Platforms Inc. (а также принадлежащих ей социальных сетей Facebook и Instagram) признана экстремистской и запрещена на территории Российской Федерации )