Geometria, joka piti pintansa kahdeksan vuosikymmentä
Unkarilainen matemaatikko Paul Erdős esitti vuonna 1946 yksinkertaiselta kuulostavan kysymyksen: kun litteälle pinnalle asetetaan tietty määrä pisteitä, kuinka monta paria voi olla täsmälleen yhden mittayksikön etäisyydellä toisistaan? Pulma näytti perustavanlaatuiselta, mutta osoittautui sitkeästi avoimeksi.
Vuosikymmenien ajan matemaatikot uskoivat, että pisteet kannattaa järjestää neliöruudukoksi. Ruudukko tuottaa ennustettavan määrän yksikkövälejä, ja Erdős arveli, ettei parempaa sijoittelua ole olemassa. Konjektuuri muodostui yhdeksi diskreetin geometrian keskeisistä avoimista kysymyksistä, ja sen ratkaiseminen jäi sukupolvi sukupolvelta seuraavalle.
Päättelymalli löysi paremman järjestyksen
OpenAI kertoi 20. toukokuuta, että sen sisäisessä käytössä oleva yleiskäyttöinen päättelymalli kaatoi Erdősin konjektuurin itsenäisesti. Malli ei käyttänyt matematiikkaan räätälöityä erityistyökalua eikä saanut ihmiseltä ohjaavia vihjeitä. Lopputuloksena syntyi ääretön perhe pistejärjestelyjä, jotka tuottavat polynomista parannuksen verrattuna neliöruudukkoon.
Yllättävintä on lähestymistapa. Malli kytki geometrisen ongelman algebralliseen lukuteoriaan, nimenomaan äärettömiin luokkakuntatorni-rakenteisiin ja Golod-Shafarevichin teoriaan. Tämä on yhteys, jota ihmistutkijat eivät olleet täysin hyödyntäneet. Periaate yleistää Gaussin kokonaislukujen idean laajempiin algebrallisiin lukukuntiin – ja juuri tämä siirtyminen tuotti uudet konstruktiot.
Vahvistus tuli Princetonista
OpenAI ei julkaissut tulosta tyhjiössä. Todistus lähti tarkastettavaksi alan kärkinimille. Princetonin kombinatoorikko Noga Alon, Harvardin lukuteoreetikko Melanie Wood ja brittiläinen Thomas Bloom kävivät todistuksen läpi ja vahvistivat sen kelpaavan. Princetonin Will Sawin hioi tulosta eteenpäin ja osoitti, että parannuksen eksponentti voidaan kiinnittää tietyksi vakioksi.
Bloomin osallistuminen on huomionarvoista siksi, että hän paljasti lokakuussa 2025 OpenAI:n liioitelleen aikaisempaa Erdős-ongelmien ratkaisuväitettä. Nyt sama tutkija allekirjoittaa, että tulos on aito. Fields-mitalisti Tim Gowers on kutsunut työtä virstanpylvääksi tekoälyn matematiikassa, ja lukuteoreetikko Arul Shankar totesi mallin tuottaneen aidosti uusia ideoita.
“Tämä oli yksi Erdősin omista lempiongelmista. Lopputulos on todellinen yllätys.”
Mikä muuttuu tavalliselle ihmiselle?
Yksikkövälipulma ei suoraan ratkaise asuntolainan korkoa eikä sähkölaskua. Käännekohta on silti tärkeä siksi, että tekoäly tuotti aidosti uutta matematiikkaa ilman ihmisen ohjausta. Tähän asti tekoälymallit ovat avustaneet matemaatikoita, ehdottaneet osa-askelia ja tarkistaneet todistuksia. Itsenäisesti ratkaistu avoin pulma on uusi vaihe.
Käytännön seuraukset näkyvät todennäköisesti ensimmäisinä lääkekehityksessä, materiaalitutkimuksessa ja kryptografiassa, joissa diskreetin matematiikan tulokset ovat suoria työkaluja. Jos sama päättelytapa yleistyy, tutkimusryhmät saavat algoritmisia kumppaneita, jotka ehdottavat aidosti uusia rakenteita eivätkä pelkästään järjestele tunnettuja. Yrityksille tämä tarkoittaa, että T&K-budjetin painopiste voi siirtyä laskennasta tulkintaan.
Suomalainen kulma
Aalto-yliopiston matematiikan ja systeemianalyysin laitoksella kombinatoriikan ryhmää johtavat apulaisprofessori Kaie Kubjas ja lehtori Ragnar Freij-Hollanti. Ryhmä työskentelee algebrallisen ja diskreetin matematiikan rajapinnassa, samalla maaperällä, jolla OpenAI:n malli löysi ratkaisunsa. Suomalainen kombinatoorikkayhteisö on pieni mutta kansainvälisesti tunnustettu, ja vastaavat tekoälyn tuottamat todistukset päätyvät jatkossa myös täkäläisten tutkijoiden vertaisarvioitaviksi.
Tärkein opetus ei kuitenkaan koske vain matematiikkaa. OpenAI korostaa, että kyseessä oli sama yleiskäyttöinen päättelymalli, joka vastaa kysymyksiin koodista ja juridiikasta. Jos saman arkkitehtuurin sisältä syntyy uusia matemaattisia todistuksia, raja erikoistuneen ja yleisen koneälyn välillä alkaa hämärtyä konkreettisella tavalla.
