Sześć prac matematycznych z udziałem Muse Spark. Pięć ma odpowiadać na otwarte pytania

Meta poinformowała 2 października, że matematycy pracujący z Muse Spark przygotowali sześć prac naukowych. Według firmy pięć z nich odpowiada na wcześniej otwarte pytania. To opis badań prowadzonych przez ludzi z pomocą AI, a nie twierdzenie, że chatbot samodzielnie rozwiązał sześć problemów. Prace recenzowała też druga grupa matematyków. 17

Jakich zagadnień dotyczą prace?

Publikacje obejmują kilka dziedzin matematyki. Wśród opisanych wyników są:

• Teoria prawdopodobieństwa i geometria: praca The Strict Threshold for Gaussian Ellipsoid Fitting wyznacza próg w okolicach (n \sim d^2/4). Dotyczy on istnienia dodatnio półokreślonej macierzy spełniającej warunki określone przez losowe wektory Gaussa. 1
• Teoria grup: jeden z wyników wskazuje grupę o 384 elementach, która stanowi kontrprzykład do hipotezy sformułowanej w 2024 roku. Według relacji Muse Spark napisał program wyszukiwania dla systemu GAP, a matematycy sprawdzili kontrprzykład i dopracowali argument. 20
• Algebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez dotyczy wskazanej w tytule hipotezy. 4
• Optymalizacja: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles analizuje, czy określone relaksowanie oparte na cyklach jest ścisłe. 4
• Fizyka matematyczna: na liście publikacji znajduje się także praca String Two-Point Function = Height Function on a Curve. 4
• Równania różniczkowe: wśród prac wymieniono badanie dotyczące rozwiązań radialnych o ujemnej energii i wybuchu w skończonym czasie dla krytycznego masowo biharmonicznego nieliniowego równania Schrödingera.

Warto odróżnić liczbę prac od liczby rozwiązanych problemów: Meta mówi, że pięć z sześciu publikacji odpowiada na wcześniej otwarte pytania. Dostępne wykazy publikacji nie pozwalają jednak jasno i niezależnie przyporządkować wszystkich sześciu prac do tych pięciu pytań. 174

Rola matematyków w pracy z modelem

Badacze korzystali z Muse Spark 1.1 i 1.2 w trybie Thinking Mode przez zwykły interfejs czatu meta.ai — bez specjalnie zbudowanego systemu do prowadzenia badań. Według Meta to matematycy wyznaczali kierunek pracy i rozwijali argumenty z pomocą modelu, a następnie druga grupa naukowców je oceniała. W publikacjach oznaczono również fragmenty napisane głównie przez badaczy oraz te przygotowane z udziałem AI. 17

Ten podział ma znaczenie: model może podsuwać pomysły, argumenty czy kod, ale nie oznacza to, że sam wybierał problemy i zatwierdzał własne wyniki. W przykładzie z teorii grup ludzie sprawdzili kontrprzykład i dokończyli argumentację. 20

Co wciąż pozostaje do sprawdzenia?

Prace są przykładem udziału modelu AI w nadzorowanych badaniach matematycznych. Nie dowodzą jednak, że wyniki są wyłączne ani że matematyczne odpowiedzi Muse Spark są ogólnie niezawodne. Inne doniesienia wskazują, że kilka wyników uzyskano niezależnie przez inne zespoły, co ma znaczenie przy ocenie pierwszeństwa odkrycia.

Weryfikacja przez matematyków to nie to samo co weryfikacja formalna. W tej drugiej dowód zapisuje się w ścisłym języku, by komputer mógł sprawdzić go krok po kroku. Opis Meta mówi o recenzji wykonanej przez ludzi, ale dostępne materiały nie potwierdzają, czy dowody we wszystkich pracach sprawdzono za pomocą asystenta dowodzenia. 17

Muse Spark zaprezentowano 8 kwietnia 2026 roku jako pierwszy model Meta Superintelligence Labs. Październikowe publikacje pokazują późniejsze zastosowanie modelu we współpracy badawczej. Nie są jednak dowodem, że twierdzenia matematyczne generowane przez AI są wolne od błędów — to wymaga analizy argumentów i niezależnego sprawdzania wyników.