Meta опубликовала 6 математических работ с Muse Spark; 5 касаются открытых вопросов

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

Важно, что Meta не подает это как полностью автономную работу модели. Постановкой задач и ходом исследования управляли математики, а результаты проверяла отдельная группа специалистов; вклад людей и ИИ отмечен в самих статьях. Среди примеров, которые приводит компания, — контрпример-группа из 384 элементов, найденная с помощью сгенерированной моделью GAP-программы. Подробности Meta собрала в описании методики.

Для практиков это скорее кейс о том, как встроить модель в исследовательский процесс поверх обычного продукта, чем доказательство того, что такие задачи можно отдавать ИИ без доменной экспертизы и независимой валидации.