Sama tapahtuma sai syyskuun alussa 2026 kaksi eri varmuutta.
Helsingin Sanomat otsikoi: ”Tekoäly ratkaisi yhden vaikeimmista matematiikan pulmista.” OpenAI:n oma tiedote oli varovaisempi. Yhtiö kertoi, että sen järjestelmä oli tuottanut analyyttisen todistuksen Navier–Stokesin yhtälöihin liittyvään Millennium-ongelmaan ja formalisoinut sen Lean-nimisellä työkalulla. Palkintoa yhtiö ei aio hakea, koska tulosta ei ole vielä arvioitu.
Kumpi otsikko pitää paikkansa? Tällä hetkellä rehellinen vastaus on: ratkaisuehdokas. Todistus on olemassa ehdotuksena, mutta kukaan riippumaton ei ole vielä hyväksynyt sitä. Tarkistus on käynnissä. Juuri se sana — vielä — on yhteenvedon tärkein sana. Otsikoista se katoaa ensimmäisenä.
Mitä ”ratkaisu” oikeastaan tarkoittaa?
Sanaa ratkaisu käytetään kolmella tasolla.
Arkikielessä ratkaisu on vastaus, joka tuntuu toimivan. Matematiikassa ratkaisu on todistus, jonka toiset matemaatikot ovat lukeneet eivätkä ole pystyneet kaatamaan. Millennium-ongelman kohdalla on vielä kolmas taso: viralliseksi ratkaisuksi lasketaan vasta työ, jonka tiedeyhteisö on arvioinut ja Clay Mathematics Institute hyväksynyt.
Otsikot toimivat ensimmäisellä tasolla. Matematiikan vaatimus alkaa toisella. Kolmannella tasolla odotetaan. OpenAI:n tulos on nyt ratkaisuehdokas: vakuuttava, mutta ei vielä valittu.
Mitä Navier–Stokesin ongelma kysyy?
Navier–Stokesin yhtälöt kuvaavat nesteiden ja kaasujen virtausta: ilmaa lentokoneen siiven ympärillä, vettä putkessa, merivirtoja ja säätä. Käytännössä niitä ratkaistaan jatkuvasti tietokoneilla.
Matemaattinen ongelma ei kuitenkaan ole ”saadaanko virtaus laskettua likimäärin”. Se on tarkempi kysymys: voidaanko kolmiulotteiselle puristumattomalle Navier–Stokes-yhtälölle taata sileä ratkaisu kaikissa tilanteissa, vai voiko ratkaisu äärellisessä ajassa kehittää singulariteetin — kohdan, jossa virtauksen suureet, kuten nopeus tai paine, kasvavat rajatta?
Clay-instituutin asettamassa ongelmassa kumpikin lopputulos olisi ratkaisu. Joko osoitetaan, että sileys säilyy aina. Tai rakennetaan pätevä esimerkki tilanteesta, jossa sileys rikkoutuu.
OpenAI:n ilmoitus kuuluu jälkimmäiseen suuntaan. Yhtiön mukaan järjestelmä tuotti todistuksen siitä, että ratkaisu voi puhjeta äärellisessä ajassa.
Miten puhkeaminen voisi näyttää? Eräs mahdollisuus on pyörre, joka kutistuu ja venyy samaan aikaan. Kun pyörre keskittyy yhä pienemmälle alueelle, nopeudet voivat kasvaa rajatta, vaikka kokonaisenergia pysyisi äärellisenä. Yhtälö on epälineaarinen: virtaus muuttaa itseään, eikä kehitystä voi koota pienistä palasista. Paineen, kiihtyvyyden, liikemäärän siirtymisen ja viskositeetin on pysyttävä täsmällisessä suhteessa samoina hetkinä, kun ratkaisu käy rajummaksi.
Yhtiön väite ei siis ole ”sää saatiin laskettua”. Väite on, että tietyllä tavalla rakennettu virtaus on matemaattisesti pätevä vastaesimerkki.
Kymmenentuhatta agenttia ja yrityksen oma kertomus
OpenAI:n kuvaus työtavasta on yhtä huomiota herättävä kuin väite itse.
Yhtiö sanoo, että ratkaisua ei etsinyt yksi kielimalli vaan noin 10 000 rinnakkain työskennellyttä agenttia. Agentti on tässä tekoälyprosessi, joka osaa kokeilla todistusstrategioita ja välittää hyviä ideoita eteenpäin. Yhtiön kertomuksen mukaan agentit tuottivat miljoonia viestejä, hylkäsivät heikkoja ideoita ja veivät parhaat eteenpäin. Ensin ne ratkoivat helpomman, Eulerin yhtälöihin liittyvän regulariteettiongelman, ja sitä tulosta käytettiin apuna Navier–Stokesin kysymyksessä.
Navier–Stokes-työhön kului yhtiön omien lukujen mukaan noin 88 tuntia ja 2,7 miljoonaa agenttiviestiä. Lopputuloksen Lean-formalisointi vei 17 tuntia. Luvut ovat tässä vaiheessa vain yhtiön ilmoittamia.
Agenttien määrä ei itsessään ole peruste. Kymmenentuhatta agenttia voi tuottaa kymmenentuhatta erilaista tapaa erehtyä — tai toistaa saman virheen kymmenentuhatta kertaa. Virheestä tulee silloin hyvin harjoiteltu, mutta se ei muutu todeksi. Kielimallit tunnetaan myös vakuuttavista keksityistä väitteistä, joten harjoiteltu virhe voi hyvinkin kuulostaa järkevältä.
Lean tarkistaa, mutta minkä väitteen?
Se, mikä tekee tästä ehdotuksesta poikkeuksellisen, on Lean.
Lean on formaalin matematiikan järjestelmä. Todistus kirjoitetaan niin tarkkaan, että tietokone voi tarkistaa jokaisen päättelyaskeleen. Jos säännöt on määritelty oikein, kone ei hyväksy väitettä siksi, että se kuulostaa vakuuttavalta. Todistus joko seuraa säännöistä tai ei seuraa.
Tämä on selvä parannus tavalliseen tekoälytekstiin. Kielimalli voi tuottaa hyvin vakuuttavan todistuksen, jossa on huomaamaton virhe. Lean jättää huomaamattomuudelle vähemmän tilaa.
Lean ei kuitenkaan kysy, todistettiinko oikea asia. Se tarkistaa, että väite seuraa annetuista määritelmistä. Sen jälkeen on vielä kysymys, jonka voi esittää vain ihminen: vastaavatko määritelmät ja tutkimuskysymys sitä, mitä matemaatikot luulevat niiden vastaavan?
Väärin muotoiltu väite voi olla täydellisesti todistettu. Se ei silti ole oikea väite. Näin voi käydä esimerkiksi silloin, jos todistus koskee hiukan eri yhtälöä kuin Clay-instituutin palkintokysymystä — vaikkapa versiota, jossa voima on määrätty eri tavalla. Tietokone ei huomaa eroa, koska se ei tiedä, mitä tutkijat oikeastaan halusivat kysyä.
Yhdestä tiedotteesta moneen otsikkoon
Epävarmuus näkyy jo uutisketjussa. OpenAI tiedotti asiasta 7. syyskuuta. Samana päivänä Yle kirjoitti, että yhtiö väittää ratkaisseensa ongelman. Seuraavana päivänä Helsingin Sanomat otsikoi ilman väittää-sanaa: tekoäly ratkaisi.
Ketju on helppo piirtää:
OpenAI: ”Järjestelmä on tuottanut todistuksen, jota ei ole vielä arvioitu.” ↓ Yle: ”OpenAI väittää ratkaisseensa ongelman.” ↓ Helsingin Sanomat: ”Tekoäly ratkaisi ongelman.”
Kun uutinen kulki lähteestä otsikkoon, vielä putosi pois. Epävarmuus ei hävinnyt siksi, että joku olisi tarkistanut todistuksen. Se hävisi, koska lause lyheni.
HS:n jutussa haastateltu matemaatikko Mikko Salo sanoi, että arviointi on vasta alkamassa. Otsikko oli siis astetta pidemmällä kuin jutun sisältö.
Tässä kohtaa kriittinen lukija herää. Jos kymmenen uutista siteeraa samaa tiedotetta, lukijan silmien edessä voi olla kymmenen linkkiä mutta vain yksi kertoja. Uutisten määrä ei yksinään tee väitteestä riippumatonta.
Kuka ratkaisi?
Lauseessa ”tekoäly ratkaisi” piilee vielä toinen ongelma: subjekti.
Ratkaisua etsivät agentit, mutta yksikään niistä ei yksin nähnyt koko todistusta. Järjestelmän rakensivat ihmiset: he suunnittelivat agenttien toiminnan, kouluttivat ne ja käynnistivät kokeen. Heidän taustallaan oli vuosikymmenten matemaattinen tutkimus, johon agentit nojasivat. Myös Leanin määritelmät on joku kirjoittanut.
Kun sanotaan ”tekoäly ratkaisi”, tekoäly on lauseessa sekä tekijä että väline. Kumpikaan ei ole väärin, mutta väitteen tarkkuus kärsii.
OpenAI on itse tehnyt varovaisen valinnan: se ei hae Clay Mathematics Instituten palkintoa. Se on johdonmukaista, sillä palkinto seuraa yhteisön hyväksynnästä, ei yhtiön tiedotteesta. Siksi ratkaisuehdokas seisoo jonossa, ei maalissa.
Riippumaton arviointi on käynnissä. Kukaan ei ole vielä sanonut viimeistä sanaa.
Neljä kysymystä ja pöytäkirjaa pitävä pesukarhu
Kun seuraavan kerran näet otsikon, jossa joku tai jokin ratkaisee jotakin suurta, kysy neljä asiaa:
- Mitä tarkalleen ratkaistiin?
- Mihin ratkaisu perustuu?
- Kuka on tarkistanut sen?
- Mitä vielä ei tiedetä?
Navier–Stokesin tapauksessa ensimmäiseen kysymykseen on tarkka matemaattinen vastaus: kysymys koskee sileää ratkaisua ja singulariteettia äärellisessä ajassa. Toiseen on tällä hetkellä olemassa OpenAI:n oma kertomus. Kolmanteen vastaus on: tarkistus on käynnissä. Neljäs on tärkein, ja juuri siihen vielä-sana on piilotettu.
Tiede ei ole prosessi, jossa ensimmäinen vakuuttava vastaus muuttuu todeksi siksi, että se näyttää hyvältä. Se on prosessi, jossa väitettä koetellaan niin kauan, että sen heikkoudet joko tulevat näkyviin tai eivät tule. Tekoäly nopeuttaa ensimmäistä vaihetta valtavasti: ehdotuksia syntyy yhä nopeammin. Toinen vaihe, tarkistaminen, ei kiihdy samaa tahtia.
Kuvittele pöydän toiseen päähän pesukarhu, joka on lukenut tarpeeksi otsikoita. Se ei ole tutkija eikä tekoäly. Sillä on vain pöytäkirja, ja se kysyy jokaiselta väitteeltä saman: mitä tämä väittää, kuka sen on sanonut ja onko joku jo katsonut sen läpi?
Pesukarhu ei ole hidaste. Se on lukija, jonka kaltaisia meidänkin kannattaa olla.