Muse Spark hielp bij zes wiskundepapers, zegt Meta

Meta meldde op 2 oktober dat wiskundigen die met Muse Spark werkten zes onderzoeksartikelen hebben gemaakt. Volgens het bedrijf behandelen vijf daarvan vragen waarop nog geen antwoord bekend was. Het gaat om onderzoek onder menselijke begeleiding met hulp van AI: wiskundigen kozen de onderwerpen en werkten de argumenten uit, waarna een tweede groep het werk beoordeelde. Meta zegt dus niet dat een chatbot zelfstandig zes problemen heeft opgelost. 17

Welke wiskunde komt aan bod?

De zes papers bestrijken verschillende deelgebieden. Enkele beschreven resultaten zijn:

• Kansrekening en meetkunde: The Strict Threshold for Gaussian Ellipsoid Fitting stelt een scherpe grens vast rond (n \sim d^2/4). Die bepaalt of een positief semidefiniete matrix kan voldoen aan voorwaarden die worden opgelegd door willekeurige Gaussische vectoren. 1
• Groepentheorie: een resultaat geeft een groep met 384 elementen die een vermoeden uit 2024 weerlegt. 20
• Algebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez behandelt het vermoeden waarnaar de titel verwijst. 4
• Optimalisatie: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles onderzoekt of een specifieke cyclusgebaseerde relaxatie precies genoeg is. 4
• Wiskundige natuurkunde: op de publicatielijst staat onder meer String Two-Point Function = Height Function on a Curve. 4
• Differentiaalvergelijkingen: een ander artikel gaat over oplossingen die in eindige tijd onbegrensd worden voor een bepaalde biharmonische niet-lineaire Schrödingervergelijking.

De telling van Meta vraagt om enige voorzichtigheid: het bedrijf zegt dat vijf van de zes papers eerder open vragen beantwoorden. De beschikbare publicatielijsten maken niet duidelijk welke vijf vragen precies bij welke papers horen. 174

Hoe verliep de samenwerking?

De onderzoekers gebruikten Muse Spark 1.1 en 1.2 in de Thinking Mode via de gewone chatinterface van meta.ai. Ze maakten dus geen gebruik van een speciaal voor onderzoek gebouwde AI-omgeving. Volgens Meta stuurden de wiskundigen het onderzoek aan en ontwikkelden ze samen met het model ideeën en redeneringen. Een tweede groep wiskundigen beoordeelde het werk. De papers geven bovendien aan welke passages vooral door onderzoekers zijn geschreven en welke met AI-hulp tot stand kwamen. 17

Bij een van de resultaten in de groepentheorie schreef Muse Spark volgens berichtgeving een zoekprogramma voor GAP, software voor groepentheorie. Wiskundigen controleerden het tegenvoorbeeld en maakten het bewijs af; het model certificeerde zijn eigen resultaat niet. 20

Wat weten we nog niet?

De papers laten zien dat een AI-model kan bijdragen aan wiskundig onderzoek onder toezicht. Ze bewijzen op zichzelf niet dat de resultaten exclusief zijn, of dat de wiskundige antwoorden van het model doorgaans betrouwbaar zijn. Andere berichtgeving meldt dat verschillende resultaten ook onafhankelijk door andere teams zijn bereikt. Dat mogelijke overlap relevant is voor de vraag wie welke bijdrage leverde.

Beoordeling door wiskundigen is bovendien iets anders dan formele verificatie. Daarbij wordt een bewijs vastgelegd in een strikte computertaal, zodat een computer de redenering stap voor stap kan controleren. Meta beschrijft menselijke beoordeling, maar uit de beschikbare informatie blijkt niet of de bewijzen van alle papers ook met zulke software zijn gecontroleerd. 17

Meta introduceerde Muse Spark op 8 april 2026 als het eerste model van Meta Superintelligence Labs. De papers van oktober laten een latere toepassing zien in samenwerking met onderzoekers. Ze zijn geen bewijs dat wiskundige uitkomsten van AI foutloos zijn: daarvoor moeten de argumenten zelf worden bekeken en onafhankelijk worden gecontroleerd.