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