Проверка первоисточника уточнила конфликт. 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) признана экстремистской и запрещена на территории Российской Федерации.
