← к ленте

ИИ Muse Spark от Meta помог математикам решить научные задачи

К@d_codeмедиа / агрегатор
3 нед

Математики использовали модель Muse Spark от Meta для написания шести научных работ, пять из которых содержат ответы на открытые вопросы.

Использование ИИ в фундаментальной науке становится эффективным инструментом для решения сложных математических задач.

  • Модели общего назначения способны находить решения для открытых научных проблем.
  • ИИ может самостоятельно писать код для проверки математических гипотез.
  • Исследователи могут использовать чат-интерфейсы для ускорения научной работы без создания специализированных систем.
🧠 ИИ помог математикам Математики вместе с Muse Spark* от Meta* подготовили шесть научных работ — и пять из них дают ответы на ранее открытые вопросы. Причём модель использовали через обычный чат без специальной исследовательской системы. В одном случае она сама написала программу, нашедшую контрпример к математической гипотезе. Подробности: ↖️ https://kod.ru/meta-muse-spark-math * Muse Spark принадлежит Meta, признанной экстремистской и запрещённой в РФ.

Кратко (AI)

Математики успешно применили языковую модель Muse Spark от компании Meta для подготовки шести научных работ. В пяти случаях модель помогла найти ответы на ранее нерешенные математические вопросы, включая написание кода для поиска контрпримера к гипотезе.

Обсуждение

0
В

Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖