Zwyczajna droga Mety do matematyki badawczej

2 października 2026 roku dział badawczy Mety opublikował sześć prac matematycznych na poziomie badawczym, owoc współpracy zewnętrznych naukowców z modelem Muse Spark w wersjach 1.1 i 1.2. Meta podkreśla różnicę w metodzie: żadnego specjalnie zbudowanego systemu agentowego, tylko zwykły czat meta.ai w trybie 'Thinking Mode', bez szytej na miarę infrastruktury badawczej. W ciągu kilku miesięcy ludzcy badacze wybierali problemy i strategie dowodowe, a następnie sprawdzali obliczenia wygenerowane przez model i uzupełniali luki w jego rozumowaniu. Według Mety druga grupa matematyków niezależnie przejrzała potem tę pracę.

Wyniki dotyczą sześciu dziedzin, w tym optymalizacji i algebry niełącznej. W teorii grup praca matematyków Josepha Phillipa Brennana i Milany Golich obala hipotezę sformułowaną w 2024 roku przez M. Kidę, wskazując konkretny kontrprzykład — skończoną grupę półabelową rzędu 384 — dzięki kodowi wyszukiwania w GAP wygenerowanemu przez model, co udokumentował serwis AlphaSignal. Pierwszeństwo nie jest jednak pełne: sam wpis Mety zaznacza, że w co najmniej trzech przypadkach inni doszli w tym samym okresie do równoległych wyników — to trzy prace z sierpnia 2026 roku o dopasowywaniu elipsoid gaussowskich, inny kontrprzykład dla grup półabelowych znaleziony 16 września przez agenta AI Nilradical oraz kontrprzykłady Hu i Wena dla algebr ewolucyjnych.

Ostrożność obowiązuje także na poziomie metodologii. Teksty są udostępniane w formacie PDF na stronie Mety, a wpis prezentujący nie wskazuje, by przeszły recenzję w czasopismach naukowych. Ponadto praca o dopasowywaniu elipsoid gaussowskich wprost stwierdza w swoim tekście, że zachowanie na progu krytycznym pozostaje nierozstrzygnięte. Meta nie podaje danych o liczbie nieudanych i porzuconych prób ani o tym, ile czasu badacze faktycznie zaoszczędzili; brakuje też dokładnego określenia wkładu modelu w każdą pracę, choć dokumenty wskazują, które fragmenty napisała sztuczna inteligencja.

Eksperyment sugeruje, że nawet publiczny czat, bez zbudowanych wokół niego rusztowań, może przyczynić się do badań: jak często mu się to udaje, pozostaje jednak poza danymi, bo próby zakończone niczym nie zostały policzone. W sześciu opisanych przypadkach rygor pozostał w rękach ludzkiej kontroli. Model wygląda nie tyle na samodzielnego matematyka, ile na narzędzie do badania pomysłów, szukania kontrprzykładów i pisania kodu, który ich szuka — w przypadku grup półabelowych to wystarczyło, by obalić hipotezę z 2024 roku — a jego rzeczywista użyteczność zależy od cierpliwości tych, którzy sprawdzają jego granice. — Olya