Meta kertoo Muse Sparkin avustaneen kuuden matematiikan tutkimuspaperin tekemisessä

Meta kertoi 2. lokakuuta, että matemaatikot olivat tehneet Muse Sparkin kanssa kuusi tutkimuspaperia. Yhtiön mukaan viisi niistä vastaa aiemmin avoimina olleisiin kysymyksiin. Kyse on ihmisten ohjaamasta tutkimuksesta, jossa tekoäly avusti – ei siitä, että chatbot olisi itsenäisesti ratkaissut kuusi ongelmaa. Meta kertoo myös, että toinen matemaatikkoryhmä arvioi työn. 17

Millaisia tuloksia papereissa esitellään?

Tutkimukset ulottuvat useille matematiikan aloille. Metan esiin nostamiin tuloksiin ja julkaisuihin kuuluvat esimerkiksi:

• Todennäköisyyslaskenta ja geometria: The Strict Threshold for Gaussian Ellipsoid Fitting määrittää raja-arvon noin kohtaan (n \sim d^2/4). Se liittyy siihen, voiko positiivisesti semidefiniitti matriisi täyttää satunnaisvektoreiden määrittämät ehdot. 1
• Ryhmäteoria: yhdessä tuloksessa esitetään 384 alkion ryhmä, joka toimii vastaesimerkkinä vuonna 2024 esitetylle otaksumalle. 20
• Algebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez käsittelee otsikossa mainittua otaksumaa. 4
• Optimointi: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles tutkii, onko tietty sykliin perustuva relaksaatio tiukka. 4
• Matemaattinen fysiikka: julkaisujen joukossa on myös paperi String Two-Point Function = Height Function on a Curve. 4
• Differentiaaliyhtälöt: julkaisulistalla on tutkimus äärellisessä ajassa tapahtuvasta räjähdysmäisestä kasvusta tietyille radiaalisille, negatiivisen energian ratkaisuille massakriittisessä biharmonisessa epälineaarisessa Schrödingerin yhtälössä.

Lukujen tulkinnassa kannattaa olla tarkka: Meta sanoo viiden kuudesta paperista vastaavan avoimiin kysymyksiin. Saatavilla olevista paperilistoista ei kuitenkaan käy selvästi ja riippumattomasti ilmi, miten kaikki kuusi paperia vastaavat näitä viittä kysymystä. 174

Tekoäly avusti, matemaatikot ohjasivat

Tutkijat käyttivät Muse Sparkin versioita 1.1 ja 1.2 Thinking-tilassa tavallisen meta.ai-chatpalvelun kautta. Metan mukaan käytössä ei ollut erillistä tutkimustyöhön rakennettua järjestelmää. Matemaatikot valitsivat ja veivät tutkimusta eteenpäin, kehittivät perusteluja yhdessä mallin kanssa, ja toinen matemaatikkoryhmä arvioi työn. Papereissa myös merkitään, mitkä osuudet ovat pääosin tutkijoiden laatimia ja mitkä on kirjoitettu tekoälyn avustuksella. 17

Ryhmäteorian esimerkissä Muse Sparkin kerrotaan kirjoittaneen hakua varten ohjelman GAP-matematiikkaohjelmistoon. Matemaatikot tarkistivat vastaesimerkin ja täydensivät todistuksen: malli ei siis itse vahvistanut tulostaan oikeaksi. 20

Mitä tuloksista ei vielä voi päätellä?

Paperit ovat näyttöä siitä, että tekoäly voi osallistua matematiikan tutkimukseen asiantuntijoiden valvonnassa. Ne eivät silti yksin osoita, että tulokset olisivat ainutkertaisia tai että mallin tuottamiin matemaattisiin väitteisiin voisi yleisesti luottaa. Muiden julkaisujen mukaan osa tuloksista on saavutettu myös itsenäisesti toisissa tutkimusryhmissä, joten mahdollinen päällekkäisyys on tärkeä huomioida, kun puhutaan löydösten ensisijaisuudesta.

Matemaatikon tekemä arviointi ei myöskään ole sama asia kuin formaalinen verifiointi. Siinä todistus kirjoitetaan täsmälliseen muotoon, jonka tietokone voi tarkistaa askel askeleelta. Metan kuvaus kertoo ihmisten tekemästä arvioinnista, mutta saatavilla olevista tiedoista ei selviä, onko jokaisen paperin todistus tarkistettu tällaisella todistusjärjestelmällä. 17

Muse Spark esiteltiin 8. huhtikuuta 2026 Meta Superintelligence Labsin ensimmäisenä mallina. Lokakuussa julkaistut paperit näyttävät, miten mallia käytettiin myöhemmässä tutkimusyhteistyössä. Ne eivät kuitenkaan todista, että tekoälyn tuottamat matemaattiset väitteet olisivat virheettömiä: sen arviointi edellyttää paperien perustelujen ja myöhemmän riippumattoman tarkistuksen tutkimista.