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