Muse Spark от Meta решила шесть открытых математических задач

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

Результаты относятся сразу к нескольким областям математики: теории вероятностей, дифференциальным уравнениям, оптимизации, теории групп, алгебре и арифметической физике. То есть речь идёт не об одной узкой задаче, а о наборе результатов из разных разделов.

Что удалось доказать

Среди результатов — опровержение гипотезы Кида 2024 года: полуабелева группа не обязана быть мономиальной. Также доказано, что радиально-симметричные решения с отрицательной энергией для бигармонического нелинейного дифференциального уравнения Шрёдингера коллапсируют за конечное время. Этот вопрос был открыт с 2015 года.

Гипотезу Кида в сентябре также опровергла другая группа учёных, тоже с помощью ИИ-агента. При этом Meta утверждает, что её результаты получены независимо.

Отдельная деталь — разметка авторства внутри статей. Читатель может увидеть, какие фрагменты написали математики, а какие — модель. Это отличает публикацию от обычного описания эксперимента с ИИ, где вклад модели часто не разделён с вкладом исследователей.

Ссылки на материалы опубликованы на research.meta.ai и meta.ai.