Meta заявила, що Muse Spark допоміг розв’язати п’ять відкритих математичних задач

Meta повідомила 2 жовтня, що математики, які працювали з Muse Spark, підготували шість наукових статей. За словами компанії, п’ять із них дають відповіді на питання, які раніше залишалися відкритими. Йдеться про дослідження за участю ШІ під керівництвом людей, а не про те, що чатбот самостійно розв’язав шість задач: математики обирали напрям роботи, розвивали аргументи, а інша група фахівців переглядала результати. 17

Про що ці статті

У роботах розглядають кілька різних галузей математики. Серед конкретних результатів, про які повідомили Meta та вказано в переліку публікацій:

• Теорія ймовірностей і геометрія. Стаття The Strict Threshold for Gaussian Ellipsoid Fitting встановлює порогове значення приблизно (n \sim d^2/4) для існування додатно напіввизначеної матриці, яка задовольняє умови, задані випадковими гауссовими векторами. 1
• Теорія груп. Один із результатів описує групу з 384 елементів, яка є контрприкладом до гіпотези, запропонованої у 2024 році. 20
• Алгебра. Стаття On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez присвячена однойменній гіпотезі про алгебри еволюції. 4
• Оптимізація. У праці Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles досліджують, чи є точним певний цикловий метод релаксації. 4
• Математична фізика. До переліку публікацій входить стаття String Two-Point Function = Height Function on a Curve. 4
• Диференціальні рівняння. Серед робіт також є дослідження скінченного за часом вибуху радіальних розв’язків із від’ємною енергією для нелінійного рівняння Шредінгера четвертого порядку з критичною масою.

Заявлену Meta цифру варто тлумачити точно: компанія каже, що п’ять із шести статей відповідають на раніше відкриті питання. Доступні переліки публікацій не дають змоги надійно зіставити кожну з шести статей із конкретним питанням і підтвердити таке співвідношення для всіх п’яти випадків. 174

Як математики працювали з моделлю

Дослідники використовували Muse Spark версій 1.1 і 1.2 у режимі Thinking Mode через звичайний чат на meta.ai — без спеціально створеної дослідницької системи. За описом Meta, математики спрямовували роботу, разом із моделлю розглядали ідеї та розвивали аргументи; згодом матеріали перевіряла інша група математиків. У самих статтях також позначено фрагменти, написані переважно дослідниками, та ті, що готувалися за участю ШІ. 17

Цей поділ важливий для розуміння результатів. Модель могла запропонувати ідею, аргумент або код, але постановка задач і перевірка залишалися частиною роботи людей. За повідомленням про приклад із теорії груп, Muse Spark написав програму пошуку для GAP — системи математичних обчислень. Математики перевірили знайдений контрприклад і завершили доведення; модель не засвідчила правильність власного результату. 20

Що поки залишається відкритим

Ці статті свідчать, що ШІ може долучатися до математичних досліджень під наглядом фахівців. Але самі по собі вони не доводять ані винятковості результатів, ані загальної надійності математичних відповідей моделі. Інші матеріали повідомляють, що кілька результатів незалежно отримували й інші дослідницькі команди, тож можливий збіг важливий, коли йдеться про пріоритет відкриття.

Перевірка математиками — не те саме, що формальна верифікація. У цьому підході доведення записують спеціальною строгою мовою, щоб комп’ютер міг перевірити його крок за кроком. Meta описує людську перевірку, але доступні матеріали не підтверджують, чи перевіряли доведення в кожній статті за допомогою системи формальної верифікації. 17

Muse Spark представили 8 квітня 2026 року як першу модель Meta Superintelligence Labs. Жовтневі статті показують, як модель згодом використали в дослідницькій співпраці, але не доводять, що математичним твердженням, створеним за допомогою ШІ, не властиві помилки. Для такого висновку потрібно аналізувати самі доведення та результати їхньої незалежної перевірки.