Звичайний шлях Meta до дослідницької математики

2 жовтня 2026 року дослідницький підрозділ Meta оприлюднив шість математичних статей дослідницького рівня — плід співпраці зовнішніх науковців із моделлю Muse Spark версій 1.1 і 1.2. Meta наголошує на різниці в методі: жодної спеціально побудованої агентної системи, лише звичайний чат meta.ai в режимі 'Thinking Mode', без дослідницької інфраструктури, створеної на замовлення. Упродовж кількох місяців дослідники-люди обирали задачі й стратегії доведення, потім перевіряли обчислення моделі та заповнювали прогалини в її міркуваннях. За словами Meta, згодом друга група математиків незалежно перевірила роботу.

Результати охоплюють шість наукових галузей, зокрема оптимізацію та неасоціативну алгебру. У теорії груп стаття математиків Joseph Phillip Brennan і Milana Golich спростовує гіпотезу, сформульовану 2024 року M. Kida: автори знайшли конкретний контрприклад — скінченну напівабелеву групу порядку 384 — завдяки пошуковому коду для GAP, згенерованому моделлю, як задокументувало видання AlphaSignal. Проте першість не беззаперечна: сам допис Meta зазначає, що щонайменше у трьох випадках інші дійшли паралельних результатів у той самий період. Це три праці серпня 2026 року про підгонку гаусових еліпсоїдів, інший контрприклад для напівабелевих груп, знайдений ШІ-агентом Nilradical 16 вересня, і контрприклади Hu та Wen для еволюційних алгебр.

Обережність потрібна й у методологічному плані. Тексти поширюються у форматі PDF на сайті Meta, а в дописі-презентації не сказано, що вони пройшли рецензування в наукових журналах. Крім того, праця про підгонку гаусових еліпсоїдів прямо визнає в самому тексті статті, що поведінка на критичному порозі залишається нез'ясованою. Meta не наводить даних ні про кількість невдалих і покинутих спроб, ні про час, який дослідники справді заощадили; бракує й точної оцінки внеску моделі в кожну роботу, хоча в документах зазначено, які фрагменти написав штучний інтелект.

Експеримент дає підстави припустити, що навіть публічний чат, без збудованих довкола нього риштувань, здатен долучитися до досліджень: як часто це вдається — лишається поза даними, бо безрезультатні спроби ніхто не рахував. У шести описаних випадках строгість і далі забезпечував людський контроль. Модель виглядає не стільки самостійним математиком, скільки інструментом, щоб досліджувати ідеї, шукати контрприклади й писати код, який їх шукає, — у випадку напівабелевих груп цього вистачило, щоб спростувати гіпотезу 2024 року, — а її реальна користь залежить від терпіння тих, хто перевіряє її межі. — Olya