OpenAI:n tuore GPT-5.6 Sol -malli ratkaisi matemaattisen ongelman, joka on vastustanut tutkijoita yli puoli vuosisataa. Kyseessä on cycle double cover -otaksuma, graafiteorian klassikko 1970-luvulta. Scientific American kertoo, että yhtiö ajoitti todistuksen julkaisun mallin täyden käyttöönoton yhteyteen.
Läpimurto ei syntynyt yhdestä nerokkaasta oivalluksesta. Malli yhdisteli menetelmiä, joita matemaatikot olivat jo aiemmin kokeilleet. Silti tulos on konkreettinen näyte siitä, miten kielimallit tuottavat nyt aitoa matemaattista tutkimusta eivätkä pelkkiä harjoitusvastauksia.
Mikä cycle double cover -otaksuma on
Otaksuma käsittelee verkkoja eli graafeja, jotka koostuvat solmuista ja niitä yhdistävistä särmistä. Kysymys kuuluu, voidaanko jokainen verkko peittää silmukoilla niin, että jokainen särmä kuuluu tasan kahteen silmukkaan. Ongelma on ollut avoin yli 50 vuotta.
Graafiteoria on matematiikan haara, joka tutkii verkkojen rakennetta. Sen peruskysymykset on usein helppo muotoilla mutta vaikea todistaa. Cycle double cover on juuri tällainen: yksinkertainen kysymys, jonka ratkaisu on kiertänyt tutkijoita vuosikymmeniä.
GPT-5.6 Sol osoitti, että mikä tahansa ehdot täyttävä verkko voidaan peittää kaksinkertaisesti enintään kahdeksalla huolellisesti valitulla silmukalla. Teknisistä syistä ulkopuolelle rajataan verkot, joissa suuret osat liittyvät toisiinsa vain yhden särmän kautta.
Princetonin matemaatikko Noga Alon kuvaa otaksumaa tunnetuksi ja paljon huomiota saaneeksi. Hänen mukaansa yllättävää on, että lopullinen todistus on lyhyt.
Näin todistus syntyi
OpenAI julkaisi myös kehotteen, jolla malli ohjattiin ratkaisuun. Suurin osa kehotteesta on tukirakennetta, jonka tehtävä on saada malli näkemään aidosti vaivaa ongelman eteen.
Mallia ohjattiin jakamaan tehtävä jopa 64 rinnakkaiselle agentille. Useiden agenttien yhteistyö on tunnettu tapa vähentää virheellisiä todistuksia ja keksittyjä lähdeviitteitä. Agentit tarkistavat toistensa työtä ja karsivat umpikujia.
Kehotteessa mallia kannustettiin sitkeyteen hyvin suoraan. Sen käskettiin käyttää ongelmaan vähintään kahdeksan tuntia ennen kuin luovuttamista kannattaa edes harkita. Matemaatikko Andrew Sutherlandin mukaan juuri tällaiset kikat saavat mallin panostamaan tehtävään.
OpenAI on aiemmin kertonut, että sen tutkijat käyttävät GPT-5.6:ta koko kehitystyön kaaressa: virheiden jäljittämiseen, kokeiden ajamiseen ja tulosten tulkintaan. Matemaattiset todistukset ovat tämän kyvyn näkyvin muoto.
Miksi läpimurto on vaatimattomampi kuin miltä näyttää
Todistus vaati yllättävän vähän uusia ideoita. Malli seurasi ja yhdisteli lähestymistapoja, joita ihmiset olivat jo kokeilleet, ja onnistui puristamaan niistä hieman enemmän irti.
Kun tekoälyyhtiöt kampaavat matemaattista kirjallisuutta avointen ongelmien varalta, ne törmäävät toistuvasti vaikeiksi luultuihin mutta itse asiassa ratkaistavissa olleisiin otaksumiin. Todistus oli koko ajan ulottuvilla, mutta kukaan ei ollut sitä napannut.
Tämä ei ole ensimmäinen kerta, kun ChatGPT todistaa pitkään avoinna olleen otaksuman. Malli ei korvaa matemaatikkoa vaan toimii väsymättömänä työkaluna, joka jaksaa käydä läpi lupaavia mutta työläitä polkuja.
Se ei silti vähennä saavutusta. Ongelman tunnistaminen ratkeavaksi ja oikeiden menetelmien yhdistäminen vaatii kykyä, jota aiemmilta malleilta ei löytynyt.
Mitä tämä tarkoittaa matematiikan tutkimukselle
Alonin mukaan kyseessä on jälleen yksi vaikuttava esimerkki siitä, miten tekoälytyökalut muuttavat matematiikan tutkimusta jo nyt. Muutos ei ole tulevaisuutta vaan käynnissä.
Tekoälyyhtiöt panostavat voimakkaasti puhtaaseen matematiikkaan. Ala toimii mittatikkuna sille, kuinka pitkälle mallien päättelykyky yltää. Ratkaistut otaksumat ovat konkreettisia ja tarkistettavissa olevia tuloksia, toisin kuin monet muut tekoälyn lupaukset.
Samalla tulokset muistuttavat ihmisen roolista. Todistukset on yhä tarkistettava huolellisesti, ja kiinnostavien ongelmien valinta jää tutkijoille. Malli tuottaa raakaa työtä, mutta suunnan antaa edelleen ihminen.
Yhteenveto
GPT-5.6 Sol ratkaisi yli 50 vuotta avoinna olleen cycle double cover -otaksuman yhdistelemällä tunnettuja menetelmiä ja jakamalla työn kymmenille agenteille. Todistus on lyhyt eikä nojaa uuteen teoriaan.
Läpimurto on silti merkkipaalu tekoälyavusteisessa matematiikassa. Se näyttää, että sitkeästi ohjattu malli voi napata kypsiä hedelmiä, jotka ovat jääneet ihmisiltä poimimatta.