Meta ja matemaatikot ratkaisivat viisi avointa ongelmaa Muse Sparkin avulla
Meta julkaisi kuusi matematiikan tutkimusartikkelia, joissa matemaatikot käyttivät Muse Spark -tekoälymallia apunaan. Viisi artikkeleista vastaa kysymyksiin, joihin ei aiemmin ollut ratkaisua.
Meta julkaisi 2. lokakuuta 2026 kuusi matematiikan tutkimusartikkelia, jotka syntyivät yhteistyössä matemaatikkojen ja yhtiön Muse Spark -tekoälymallin kanssa. Metan mukaan viisi artikkeleista vastaa kysymyksiin, joihin matematiikassa ei ole aiemmin ollut valmista ratkaisua. Mukana on muun muassa ryhmäteorian väite, jonka kumosi yksi ainoa 384 alkion vastaesimerkki.
Mistä on kyse
Muse Spark on Metan oma kielimalli, jota yhtiö tarjoaa tavallisille käyttäjille meta.ai-palvelun keskustelussa. Aiemmin Meta kertoi, että sen mallit saavuttivat olympiatason tuloksia matematiikan, fysiikan ja kemian kilpailutehtävissä. Kilpailutehtävissä on kuitenkin aina olemassa valmis ratkaisu. Avoin tutkimus on erilaista: ei ole vastausavainta eikä takeita siitä, että jokin lähestymistapa toimii.
Meta kertoo, että matemaatikot käyttivät Muse Sparkin versioita 1.1 ja 1.2 Thinking Mode -tilassa tavallisen meta.ai-keskustelun kautta. Yhtiön mukaan käytössä ei ollut erillistä tutkimuskäyttöön rakennettua työkaluympäristöä, vaan sama keskustelumalli, jota kuluttajat voivat käyttää.
Näin yhteistyö toimi
Meta kuvaa työtä neljällä periaatteella. Matemaatikkojen ryhmä ohjasi tutkimusta ja kehitti perusteluja yhdessä mallin kanssa. Toinen matemaatikkojen ryhmä tarkisti valmiin työn. Jokaisessa artikkelissa on merkitty, mitkä kohdat kirjoitti ensisijaisesti ihminen ja mitkä tekoäly. Artikkelit kertovat myös, mihin aiempaan tutkimukseen ja kenen ideoihin ne nojaavat.
Kuusi tutkimusta, viisi avointa ongelmaa
Viisi kuudesta artikkelista vastaa aiemmin avoinna olleeseen kysymykseen. Kuudes jatkaa aiempaa tutkimuslinjaa.
Todennäköisyyslaskenta. Tutkimus määrittää rajan sille, kuinka monta satunnaista, Gaussin jakaumaa noudattavaa pistettä voidaan sovittaa ellipsoidin pinnalle suurissa ulottuvuuksissa. Rajan alapuolella sopiva ellipsoidi löytyy suurella todennäköisyydellä, rajan yläpuolella sitä ei käytännössä löydy. Meta huomauttaa, että aivan rajalla käyttäytyminen on edelleen ratkaisematonta. Työn teki Aykut Arslan.
Differentiaaliyhtälöt. Tutkimus käsittelee laserfysiikasta innoituksensa saanutta aaltomallia. Se osoittaa, että tietyt symmetriset ja negatiivisen energian aallot kahdessa tai useammassa ulottuvuudessa luhistuvat väistämättä äärellisessä ajassa. Tulos ratkaisee vuonna 2015 avoimeksi jääneen kysymyksen ja vahvistaa vuonna 2002 tehdyn simulaatioennusteen. Työn teki Leonard Dinh.
Ryhmäteoria. Ryhmät ovat matematiikan rakenteita, joilla kuvataan symmetriaa. Vuonna 2024 M. Kida esitti väitteen, että jokainen äärellinen ryhmä, jolla on niin sanottu semiabeli ominaisuus, on myös monomiaalinen. Tutkijat kumosivat väitteen löytämällä yhden poikkeuksen: 384 alkion ryhmän. Muse Spark tuotti GAP-ohjelman, joka löysi vastaesimerkin. Työn tekivät Joseph Phillip Brennan ja Milana Golich.
Optimointi. Tutkimus vastaa vuonna 2026 esitettyyn kysymykseen siitä, milloin eräs yksinkertaistus (relaksaatio) kuvaa alkuperäisen optimointitehtävän tarkasti ja milloin ei. Sääntö on, että yksinkertaistus osuu oikeaan, kun jokaisessa kolmen joukon Venn-kaaviossa kahden joukon yhteisessä osassa on täsmälleen yksi päätös. Jos jossakin osassa on useampia, yksinkertaistus jättää eron. Kysymyksen olivat esittäneet Del Pia ja Khajavirad, ja työn teki Aykut Arslan.
Aritmeettinen fysiikka. Tämä kuudes artikkeli ei Metan mukaan vastaa aiemmin avoimeen kysymykseen, vaan jatkaa aiempaa linjaa. Tutkijat yhdistävät lukuteorian ja p-adisen säieteorian laskennan ja osoittavat, että kaksi eri matematiikan kielellä tehtyä laskua kuvaavat samaa suuretta. Muse Spark kirjoitti kolme keskeistä teknistä osiota, jotka tutkijat tarkistivat ja korjasivat. Työn tekivät Anindya Dey, Gabriel Herczeg, An Huang, Nicolas Jaramillo Torres ja Jacob H. Swenberg.
Ei-assosiatiivinen algebra. Evoluutioalgebrat ovat matematiikan rakenteita, jotka ovat saaneet innoituksensa evoluutiobiologiasta. García-Martínez ja Pérez-Rodríguez ehdottivat testiä, jolla tunnistetaan niin sanotut ratkeavat algebrat. Tutkijat löysivät pienen kolmiulotteisen esimerkin, joka läpäisee testin mutta ei kuulu tähän luokkaan. Artikkeli ei jäänyt pelkkään vastaesimerkkiin, vaan esitti tilalle tarkemman säännön. Työn teki Andres Barei.
Meta myöntää: muutkin ratkaisivat samoja ongelmia
Meta kertoo, että saatuaan oman työnsä valmiiksi se sai tietää muiden ryhmien julkaisseen itsenäisesti ratkaisuja joihinkin samoihin ongelmiin eri menetelmillä. Artikkelit mainitsevat nämä työt. Ryhmäteorian väitteeseen kohdistui toinen vastaesimerkki, jonka oli löytänyt Nilradical-niminen tekoälyagentti 16. syyskuuta 2026. Todennäköisyyslaskennan rajaan liittyen Meta mainitsee lisäksi kolme itsenäistä, elokuussa 2026 julkaistua työtä.
Mitä tämä tarkoittaa ja mitä ei
Julkaisu on esimerkki siitä, miten tekoälyä käytetään tutkimuksen apuna. Metan mukaan malli auttoi muun muassa laskuissa, ehdotti todistusideoita ja tuotti ohjelman vastaesimerkin etsimiseen. Tutkijat valitsivat ongelmat, tarkistivat tulokset ja vastasivat sisällöstä. Yhtiö korostaa, ettei julkaisu todista, että kuka tahansa voisi avata meta.ai-keskustelun ja ratkaista avoimen ongelman: asiantuntijan ohjaus on edelleen ratkaiseva tekijä.
Uutinen seuraa aiempaa uutisointia, jossa muutkin tekoäly-yhtiöt ovat kertoneet tekoälyn ratkaisseen avoimia matematiikan ongelmia. Esimerkiksi OpenAI:n väitettä siitä, että sen malli ratkaisi Navier-Stokes-ongelman, ovat tutkijat kyseenalaistaneet.
Termien selitykset
Tekoäly on tietokoneohjelma, joka suorittaa tehtäviä, joita on perinteisesti pidetty ihmisen älyä vaativina.
Kielimalli on tekoäly, joka on opetettu suurella määrällä tekstiä ja tuottaa tekstiä ennustamalla, mitkä sanat sopivat jatkoksi. Muse Spark on Metan kielimalli.
Tekoälyagentti on tekoäly, joka voi tehdä useita peräkkäisiä vaiheita tavoitteen saavuttamiseksi, esimerkiksi hakea tietoa ja kokeilla ratkaisuja.
Kehote on käyttäjän tekoälylle antama ohje tai pyyntö. Tutkimuksessa matemaatikot ohjasivat mallia kehotteillaan.
Lähteet
Meta AI Research: Solving Open Research Problems Together, 2.10.2026.
India Today: Meta says Muse Spark helped solve 6 major math problems, releases open-source project for AI hardware, 3.10.2026.
Complete AI Training: Muse Spark and mathematicians publish six research papers solving open problems, 4.10.2026.
explainx.ai: Muse Spark Helped on Six Math Papers — What Builders Should Believe, 3.10.2026.
AlphaSignal: Meta’s Muse Spark Helped Mathematicians Solve Five Open Research Problems, 2.10.2026.
RuntimeWire: Meta publishes six math papers made with Muse Spark and human mathematicians, 2.10.2026.
Vastuuvapauslauseke: Tämä artikkeli on tarkoitettu vain tiedotustarkoituksiin. Sitä ei tarjota tai ole tarkoitettu käytettäväksi oikeudellisena, verotuksellisena, sijoitus-, rahoitus- tai muuna neuvona.
Mainos: alla on kumppanimainoksia ja mainoslinkkejä.
