Muse Spark от Meta решила 6 открытых математических задач
D@data_secretsAI-инженер
3 недМодель Muse Spark 1.1 и 1.2 помогла математикам решить шесть открытых задач в различных областях науки, включая теорию групп и дифференциальные уравнения.
Это важный шаг в использовании ИИ как полноценного соавтора в фундаментальной науке.
- ИИ продемонстрировал способность решать сложные математические задачи, которые оставались открытыми годами.
- Методология работы с ИИ в режиме Thinking Mode становится стандартом для академических исследований.
- Публикация статей с четким разделением вклада человека и ИИ задает новый этический стандарт в научной среде.
Muse Spark от Meta* решила 6 открытых математических задач
Компания опубликовала шесть статей, написанных математиками вместе с моделью. Утверждается, что ученые использовали Muse Spark 1.1 и 1.2 в Thinking Mode через обычный чат meta.ai, без специального харнеса.
Что интересно, в каждой статье даже отмечено, какие фрагменты писали люди, а какие ИИ.
Результаты относятся сразу к нескольким областям математики: теории вероятностей, дифференциальным уравнениям, оптимизации, теории групп, алгебре и арифметической физике.
Например, моделью была опровергнута гипотеза Кида 2024 года: полуабелева группа не обязана быть мономиальной. Также доказано, что радиально-симметричные решения с отрицательной энергией для бигармонического нелинейного диф.уравнения Шредингера коллапсируют за конечное время (вопрос был открыт с 2015 года).
Правда гипотезу Кида в сентябре также опровергла другая группа ученых (кстати, тоже с помощью ИИ-агента). Но Meta утверждает, что их результаты получены независимо.
https://research.meta.ai/blog/solving-open-research-problems-together
Кратко (AI)
Компания Meta представила результаты использования моделей Muse Spark 1.1 и 1.2 для решения шести открытых математических задач. Ученые работали совместно с ИИ, четко разграничивая вклад человека и модели в опубликованных статьях.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖