Meta sier Muse Spark bidro til å besvare fem åpne spørsmål i matematikk

Meta opplyste 2. oktober at matematikere som samarbeidet med Muse Spark, hadde laget seks forskningsartikler. Ifølge selskapet tar fem av dem for seg spørsmål som tidligere var åpne. Beskrivelsen handler om menneskestyrt forskning med KI som støtte – ikke om en chatbot som på egen hånd løste seks matematiske problemer. 17

Dette handler artiklene om

Arbeidene dekker flere matematiske fagområder. Blant resultatene Meta trekker fram, er:

• Sannsynlighet og geometri: The Strict Threshold for Gaussian Ellipsoid Fitting fastslår en terskel rundt (n \sim d^2/4) for om en positiv semidefinit matrise kan oppfylle betingelser bestemt av tilfeldige Gauss-vektorer. 1
• Gruppeteori: Ett av arbeidene presenterer en gruppe med 384 elementer som moteksempel til en formodning fra 2024. 20
• Algebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez tar for seg den navngitte formodningen. 4
• Optimering: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles undersøker om en bestemt syklusbasert avslapning er stram. 4
• Matematisk fysikk: String Two-Point Function = Height Function on a Curve er blant publikasjonene på listen. 4
• Differensiallikninger: Publikasjonslisten omfatter også arbeid om løsninger som blåser opp på endelig tid, for en radial løsning med negativ energi av en masse-kritisk biharmonisk ikke-lineær Schrödinger-likning.

Metas tall bør leses med et forbehold: Selskapet sier at fem av de seks artiklene besvarer tidligere åpne spørsmål. Publikasjonslistene gir imidlertid ikke en tydelig, uavhengig bekreftet kobling mellom hver av de seks artiklene og de fem spørsmålene. 174

Slik samarbeidet forskerne med Muse Spark

Forskerne brukte Muse Spark 1.1 og 1.2 i Thinking Mode via den vanlige chatten på meta.ai, uten et spesialbygd forskningssystem. Meta sier at matematikere styrte arbeidet og utviklet argumenter sammen med modellen, før en annen gruppe matematikere gjennomgikk arbeidet. Artiklene skiller også mellom avsnitt som hovedsakelig er skrevet av forskere, og avsnitt skrevet med KI-hjelp. 17

Dette er viktig når resultatene skal tolkes. En modell kan bidra med ideer, argumenter eller kode, men i Metas beskrivelse er det mennesker som valgte problemene og stod for gjennomgangen. I eksempelet fra gruppeteorien skriver ekstern omtale at Muse Spark laget et søkeprogram for GAP, et matematikkprogram. Matematikere kontrollerte moteksempelet og fullførte argumentasjonen. 20

Hva som fortsatt er uavklart

Artiklene viser at en KI-modell kan bidra i matematisk forskning under menneskelig oppfølging. De dokumenterer ikke i seg selv at resultatene er unike, eller at modellens matematiske svar generelt er pålitelige. Annen omtale beskriver flere av resultatene som noe andre forskergrupper også kom fram til uavhengig. Hvor mye arbeidene overlapper, har betydning når man vurderer hvem som gjorde hva først.

At matematikere leser gjennom et bevis, er heller ikke det samme som formell verifikasjon. Da kodes beviset i et strengt språk, slik at en datamaskin kan kontrollere det trinn for trinn. Meta beskriver menneskelig gjennomgang, men materialet som er tilgjengelig, fastslår ikke om bevisene i hver artikkel ble kontrollert maskinelt med et bevisverktøy. 17

Muse Spark ble lansert 8. april 2026 som den første modellen fra Meta Superintelligence Labs. Artiklene fra oktober viser en senere bruk av modellen i et forskningssamarbeid, men er ikke bevis for at matematiske påstander fra KI er feilfrie. Det krever at argumentene i artiklene undersøkes, og at resultatene verifiseres uavhengig.