ИИ Meta* помог математикам ответить на пять открытых вопросов — через обычный чат
Кодик кратко объясняет суть статьи
Muse Spark*, модели от Meta* (принадлежит Meta, признанной экстремистской и запрещённой в РФ), помогли математикам подготовить шесть научных статей, закрыв пять открытых вопросов в различных областях математики. Модели использовались через обычный интерфейс чата Meta AI*, без специализированных инструментов. Математики формулировали задачи, контролировали процесс поиска решений и проверяли результаты. Например, Muse Spark* нашёл контрпример к гипотезе о свойствах полуабелевых групп, доказал коллапс определённого класса волн в лазерной физике и установил порог точного покрытия точек эллипсоидом. Во всех статьях указано разделение труда между людьми и ИИ. Эксперимент демонстрирует потенциал современных моделей для решения реальных исследовательских задач, где заранее неизвестна возможность нахождения решения.
Читайте в Telegram
|
Meta* опубликовала шесть научных работ, подготовленных математиками совместно с моделями Muse Spark* 1.1 и 1.2. Пять из них дают ответы на ранее открытые вопросы в разных областях математики.
Исследователи работали с Muse Spark* в режиме Thinking через обычный чат Meta AI* на сайте — без специального исследовательского фреймворка. При этом сама Meta* подчёркивает, что ИИ не работал автономно: математики выбирали задачи, направляли поиск решений и проверяли аргументы, а затем работы дополнительно рецензировали другие специалисты.
Всего шесть работ охватывают теорию вероятностей, дифференциальные уравнения, теорию групп, оптимизацию, арифметическую физику и неассоциативную алгебру. В каждой статье авторы отдельно отмечают, какие части в основном написали люди, а какие были подготовлены при помощи ИИ.
- Один из наиболее наглядных примеров связан с теорией групп. Muse Spark* написал программу на языке GAP, которая нашла группу из 384 элементов — контрпример к гипотезе 2024 года о том, что все полуабелевы группы должны быть мономиальными. Исследователи затем проверили результат и завершили доказательство.
- В другой работе Muse Spark* помог доказать, что определённый класс волн в модели, связанной с лазерной физикой, должен коллапсировать за конечное время. Этот вопрос оставался открытым с 2015 года, а соответствующее поведение предсказывали компьютерные симуляции ещё в 2002-м.
- Ещё одна команда с помощью модели определила строгий порог, при котором случайные точки в многомерном пространстве можно точно вписать в эллипсоид. Для нескольких задач исследователи независимо пришли к результатам одновременно с другими научными группами, поэтому Meta* отдельно оговаривает, что не претендует на единоличный приоритет во всех случаях.
Meta* рассматривает эксперимент как проверку того, насколько современные рассуждающие модели могут быть полезны уже не на олимпиадных задачах с известным ответом, а в реальной исследовательской работе, где заранее неизвестно, существует ли решение вообще.
*Meta Platforms Inc. признана экстремистской организацией и запрещена в РФ. Muse Spark и Meta AI принадлежат Meta Platforms Inc.
