Meta* заявляет: ИИ решил 6 «нерешаемых» задач. Верить ли? Разбор

Шесть математических задач, пять из которых десятилетиями не поддавались лучшим умам человечества. Один ИИ. Один пресс-релиз. Звучит как сюжет научной фантастики — или как идеальный маркетинговый ход Meta*. Давайте разберёмся, где здесь реальный прорыв, а где — хорошо упакованный хайп.

Шесть задач Muse Spark: от теории вероятностей до неассоциативной алгебры

Начнём с фактов. Meta опубликовала шесть математических статей 2 октября 2026 года (RuntimeWire). Математики использовали Muse Spark 1.1 и 1.2 в режиме Thinking Mode через обычный чат-интерфейс Meta AI — без кастомных исследовательских надстроек. Пять работ отвечают на ранее открытые вопросы в теории вероятностей, дифференциальных уравнениях, теории групп, оптимизации, арифметической физике и неассоциативной алгебре. Это не олимпиадные задачки с известным ответом — это настоящие исследовательские дыры, которые годами не могли залатать.

В теории вероятностей работа определила резкий порог — около n = d²/4 — для возможности точной подгонки случайных гауссовых точек к эллипсоиду в высоких размерностях. Ниже порога эллипсоид существует с высокой вероятностью, выше — почти наверняка не существует. Поведение точно на пороге осталось неразрешённым (India Today).

Вот упрощённая схема этого порога:

В дифференциальных уравнениях статья отвечает на давний вопрос о коллапсе волн в модели, вдохновлённой физикой лазеров. Доказано, что симметричные волны с отрицательной энергией в двух или более измерениях должны коллапсировать за конечное время. Это закрывает вопрос, оставшийся открытым с 2015 года, и подтверждает предсказание 2002 года. (Факт: исследование подтверждает то, что симуляции показывали ещё двадцать лет назад. Наука — она такая, иногда нужно двадцать лет, чтобы доказать очевидное.)

В теории групп исследователи опровергли предложенное правило о математических структурах, описывающих симметрию, найдя один контрпример порядка 384. Meta заявила, что Muse Spark сгенерировала поисковую программу на GAP, которая нашла этот контрпример. Конкретный идентификатор: SmallGroup(384, 20127). Это самое «осязаемое» достижение из всей шестёрки — не просто рассуждения, а работающий код, который привёл к проверяемому результату.

Остальные три задачи — оптимизация, арифметическая физика и неассоциативная алгебра — носят более технический характер. В оптимизации исследователи разбирались, когда упрощённый метод решения задачи точно captures оригинал, а когда нет. В арифметической физике связали идею из теории чисел с вычислением в теории струн. В неассоциативной алгебре нашли исключение из предложенного правила о структурах, вдохновлённых биологией. Звучит внушительно, но без специальных знаний оценить глубину этих результатов сложно.

Прорыв или маркетинг: критический анализ заявлений Meta

Теперь к главному вопросу, который мучает всех: это реальный научный прорыв или хорошо спланированная маркетинговая кампания? Ответ, как обычно, где-то посередине. С одной стороны, математики действительно работали с моделью и получили результаты, которые прошли рецензирование. С другой — Meta сама признала, что другие команды независимо объявили о решениях некоторых из тех же проблем, используя иные подходы.

В частности, Meta acknowledged независимую работу над порогом гауссова эллипсоида, опубликованную в августе 2026 года, и отдельный контрпример к гипотезе теории групп, о котором 16 сентября сообщил ИИ-агент Nilradical. То есть как минимум две из шести задач были решены параллельно другими исследователями. Это не отменяет вклада Muse Spark, но существенно меняет картину: модель не была единственным «решателем», она скорее ускорила процесс.

Есть и более тонкий момент. Meta описывает роль модели осторожно: «Proof strategies were developed and revised with help from Muse Spark». Не «Muse Spark решила», а «стратегии доказательств разрабатывались и пересматривались с помощью Muse Spark». Это важное различие. Модель выступала в роли продвинутого ассистента, который перебирал варианты, предлагал подходы и генерировал поисковый код. Но финальные доказательства писали люди. Можно сказать, что Muse Spark — это очень умный калькулятор, но не самостоятельный математик.

Сравните с ситуацией вокруг OpenAI, которая ранее заявила, что её модель решила проблему Навье-Стокса из списка тысячелетия. Тогда математики подняли шум и обвинили компанию в преждевременных заявлениях. Meta, кажется, учла этот опыт и действует аккуратнее — с оговорками и признанием независимых работ. Но осадочек всё равно остаётся: шесть статей, пять «открытых вопросов», громкий заголовок — всё это отличный повод для хайпа вокруг Meta Superintelligence Labs и лично Александра Вана.

Роль человека и независимые подтверждения: кто на самом деле решил задачи

Давайте расставим точки над i. Muse Spark не решала задачи самостоятельно. Математики выбирали направление, формулировали гипотезы, проверяли результаты. Модель генерировала поисковые программы, предлагала варианты доказательств и черновики разделов. В одной из статей, например, Muse Spark сгенерировала программу на GAP, которая нашла контрпример порядка 384. Но именно математики проверили этот контрпример и завершили доказательство.

Это как если бы вы попросили калькулятор посчитать 2+2, а потом заявили, что калькулятор «решил» задачу. Технически он выдал ответ, но без вас он бы даже не включился. Разница в том, что Muse Spark — это калькулятор, который может предложить неочевидные пути решения и перебрать тысячи вариантов за секунды. Это уже не просто инструмент, но всё ещё не самостоятельный исследователь.

Meta честно указывает, что каждая статья помечена: какие фрагменты написаны людьми, какие — с помощью ИИ. И независимые рецензенты проверяли работы. Это хорошо. Это повышает доверие. Но не отменяет того факта, что без математиков модель бы просто генерировала случайные идеи в пустоту. Человек остаётся в центре научного процесса, даже если ИИ ускоряет его в разы.

Что это значит для рынка ИИ и обычных пользователей

Теперь о практических последствиях. Muse Spark 1.2 стала открытой для всех пользователей в августе 2026 года. Более ранняя версия, запущенная в июле, была закрытой и требовала оплаты. Это важный сигнал: Meta возвращается на рынок открытых моделей и бросает вызов OpenAI и Anthropic. Модель была впервые представлена 8 апреля 2026 года как первый продукт Meta Superintelligence Labs под руководством Александра Вана (The Guardian), и с тех пор компания явно наращивает обороты.

Что это значит для обычных пользователей? Пока немного. Muse Spark доступна через Meta AI, но её главное преимущество — способность рассуждать на сложные темы в области науки, математики и здоровья. Для повседневных задач хватит и более простых моделей. Однако сам факт того, что открытая модель такого уровня доступна бесплатно, меняет расстановку сил на рынке. Если Meta продолжит в том же духе, у OpenAI и Google появится серьёзный конкурент.

Сравним ключевые характеристики Muse Spark и ближайших конкурентов:

Как видно из таблицы, Muse Spark не пытается конкурировать по всем фронтам. Она берёт нишу научных и математических задач, где точность рассуждений важнее скорости генерации кода. Это разумная стратегия: зачем бодаться с OpenAI в кодинге, если можно занять свободную нишу?

Вопрос о том, когда подобные модели станут доступны в России, остаётся открытым.Однако открытые веса Muse Spark 1.2 теоретически могут быть использованы для создания локальных версий. Юридическая сторона этого вопроса туманна, но техническая возможность существует. (Если, конечно, кто-то захочет возиться с этим.)

Практические выводы: чего ожидать и к чему готовиться

Итак, что мы имеем в сухом остатке? Meta заявила о шести математических результатах, пять из которых были открытыми вопросами. Реальность: модель выступила ассистентом, ускорив работу математиков. Это не прорыв в смысле «ИИ решил задачу сам», но и не пустой маркетинг. Это добротный, проверяемый научный результат, который наверняка войдёт в историю как один из первых примеров продуктивного симбиоза человека и ИИ в фундаментальной науке.

А что насчёт профессии математика? Если ИИ уже сейчас помогает решать открытые задачи, через пять–десять лет рутинная часть работы — перебор гипотез, проверка контрпримеров, поиск литературы — будет автоматизирована. Это не значит, что математики исчезнут. Напротив, их роль сместится в сторону постановки задач, интерпретации результатов и стратегического мышления. Но тем, кто привык к академической рутине, придётся адаптироваться. Система образования тоже изменится: зачем учить студентов вручную проверять гипотезы, если это делает ИИ? Акцент сместится на критическое мышление и умение формулировать проблемы.

Что делать читателю? Вот краткий чек-лист:

• Не верить громким заголовкам. За любым «ИИ решил проблему» стоит команда математиков, которые направляли, проверяли и доделывали. Это не умаляет достижения, но ставит его на правильное место.
• Следить за открытыми моделями. Если Muse Spark 1.2 действительно доступна с открытыми весами, это шанс для исследователей и разработчиков по всему миру. Даже если вы не работаете с ней напрямую, конкуренция снизит цены и повысит качество.
• Готовиться к изменениям. Если ИИ уже сейчас помогает решать открытые математические задачи, через пять лет он будет помогать в медицине, инженерии, материаловедении. Кто научится использовать эти инструменты раньше, получит преимущество.

Подпишитесь на наш дайджест, чтобы первыми получать взвешенные разборы технологических прорывов — без хайпа и пустых обещаний. Мы будем следить за развитием Muse Spark и сообщим, когда (и если) она действительно изменит правила игры.

Материал носит информационно-аналитический характер и не является рекомендацией к действию.

* Деятельность компании Meta, которой принадлежат социальные сети Instagram и Facebook, признана экстремистской и запрещена на территории Российской Федерации.