ИИ Цукерберга помог решить сразу шесть открытых задач по математике — Meta* опубликовала работы, где Muse Spark выступала соавтором вместе с учёными.

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

Из самого интересного:
🙂 Muse Spark помогла опровергнуть гипотезу Кида о полуабелевых группах.
🙂 Ещё модель участвовала в доказательстве результата по нелинейному уравнению Шрёдингера, который оставался открытым с 2015 (!) года.
🙂 Все результаты получили независимо, хотя одну из гипотез параллельно опровергла другая группа — тоже с помощью ИИ.

*запрещена и признана экстремистской в РФ