Модель Meta Muse Spark вместе с математиками написала шесть работ: в пяти ответила на ранее открытые вопросы

ИИ перестаёт только решать готовые задачи: он помогает людям находить ответы на вопросы, которых раньше никто не решил, — граница возможного сдвигается.

Математики несколько месяцев работали с Muse Spark 1.1 и 1.2 в режиме размышления через обычный чат meta.ai, без особой обвязки: модель помогала считать, проверять доводы и переписывать доказательства, а направляли поиск и проверяли результат люди. В работах отмечено, какие фрагменты писали исследователи, а какие ИИ. Среди результатов — опровергнутая гипотеза 2024 года о полуабелевых группах, доказательство коллапса волны за конечное время для бигармонического нелинейного уравнения Шрёдингера и порог для вписывания случайных точек в эллипсоид в высоких размерностях; шестая работа — разведочная.