Шесть математических статей с помощью ИИ: что именно сделала команда Meta

2 октября Meta сообщила, что математики, работавшие с Muse Spark, подготовили шесть исследовательских статей. Компания утверждает, что пять из них отвечают на вопросы, которые до этого оставались открытыми. Речь идёт о научной работе с помощью ИИ под руководством людей, а не о том, что чат-бот самостоятельно решил шесть задач. 17

О чём эти статьи

Работы охватывают несколько направлений математики. Среди описанных результатов:

• Теория вероятностей и геометрия. В статье The Strict Threshold for Gaussian Ellipsoid Fitting установлен порог около (n \sim d^2/4): он определяет, существует ли положительно-полуопределённая матрица, удовлетворяющая ограничениям, заданным случайными гауссовскими векторами. 1
• Теория групп. Одна из работ приводит группу из 384 элементов, которая служит контрпримером к гипотезе, выдвинутой в 2024 году. 20
• Алгебра. Статья On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez посвящена названной в заголовке гипотезе. 4
• Оптимизация. В работе Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles исследуется, является ли точной конкретная цикловая релаксация. 4
• Математическая физика. Среди публикаций есть статья String Two-Point Function = Height Function on a Curve. 4
• Дифференциальные уравнения. В списке также указана работа о взрыве за конечное время для радиальных решений с отрицательной энергией одного нелинейного уравнения Шрёдингера.

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

Как математики работали с Muse Spark

Исследователи использовали Muse Spark 1.1 и 1.2 в Thinking Mode через обычный интерфейс чата Meta.ai — без специально созданной исследовательской системы. По описанию Meta, математики направляли работу, обсуждали с моделью идеи и развивали аргументацию, после чего её проверяла другая группа математиков. В статьях также отмечено, какие фрагменты в основном написали исследователи, а какие были подготовлены с помощью ИИ. 17

Это важно для понимания результата: модель могла предлагать идеи, аргументы или код, но постановкой задач и проверкой занимались люди. В примере с теорией групп, как сообщает сторонний источник, Muse Spark написал программу для поиска контрпримера с помощью GAP — математической системы компьютерной алгебры. Математики проверили найденный объект и завершили доказательство. 20

Что пока нельзя считать доказанным

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

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

Muse Spark представили 8 апреля 2026 года как первую модель Meta Superintelligence Labs. Октябрьские статьи показывают, как модель использовали в более позднем научном сотрудничестве, но не доказывают, что математические утверждения, сгенерированные ИИ, безошибочны. Для оценки этого нужны разбор аргументов в самих статьях и последующая независимая проверка.