OpenAI ilmoitti 20. toukokuuta, että sen sisäinen päättelymalli kumosi keskeisen oletuksen diskreettigeometriassa. Tulos koskee Paul Erdősin vuonna 1946 muotoilemaa yksikköetäisyysongelmaa: kuinka monta tasan yhden yksikön etäisyydellä toisistaan olevaa pisteparia mahtuu n pisteen joukkoon tasossa? Lähes 80 vuotta parhaana pidetty rakenne oli neliöruudukko. Nyt malli löysi äärettömän perheen konstruktioita, jotka tuottavat polynomisesti enemmän pareja.
Princeton täsmensi tuloksen
Mallin alkuperäinen todistus ei laskenut parannukselle täsmällistä eksponenttia. Princetonin matemaatikko Will Sawin tarkensi konstruktion ja näytti, että pisteiden määrä voidaan kirjoittaa muotoon n^1,014. Δ-arvo on siis 0,014. Loikka kuulostaa pieneltä, mutta polynominen parannus aiempaan n·log log n -tyyppiseen arvioon on käsitteellisesti suuri.
Todistuksen läpikäyivät myös Cambridgen Fields-mitalisti Tim Gowers, princetonilainen kombinatorikko Noga Alon sekä numeroteoreetikot Arul Shankar ja Jacob Tsimerman. Thomas Bloom kirjoitti seuranapaperin, jossa hän laajensi konstruktion ideaa muihin geometriaongelmiin.
Konstruktio nojaa Golod-Shafarevichin teoriaan ja äärettömiin luokkakuntatorneihin – algebrallisen lukuteorian rakennelmiin, joita ei juuri yhdistetä tasogeometriaan. Juuri tämä yllätti matemaatikot: malli osasi linkittää kaukaiset aihealueet, vaikka sitä ei ollut erikseen koulutettu matematiikkaan.
“Tämä on virstanpylväs tekoälyn matematiikassa.”
Ensimmäinen autonominen ratkaisu
Erdősin ongelma ei ole pelkkä tekninen pulma. Se on yksi diskreettigeometrian tunnetuimmista avoimista kysymyksistä, ja sen ympärillä on vuosikymmenten tutkimusperinne. Aiemmin tekoäly on auttanut matemaatikkoja luonnostelemalla aputuloksia tai etsimällä vastaesimerkkejä. Tämä on ensimmäinen kerta, kun yleinen päättelymalli kaataa itse keskeisen oletuksen.
Numeroteoreetikko Arul Shankarin mukaan tekoäly osaa nyt tuottaa aidosti omaperäisiä ideoita, ei pelkästään täydentää matemaatikon työtä. Bloom puolestaan arvelee, että vastaava ajattelumalli voi avata uusia näkymiä muihinkin geometriaongelmiin – erityisesti niihin, joissa lukuteorian ja geometrian rajapinta on jäänyt tutkimatta.
Mikä on Erdősin yksikköetäisyysongelma?
Paul Erdős muotoili kysymyksen vuonna 1946. Tehtävä on selvittää, kuinka monta pisteparia voi olla täsmälleen yhden yksikön etäisyydellä toisistaan, kun n pistettä asetetaan tasoon. Tunnettu yläraja on n^(4/3), ja vuosikymmenten ajan parhaan tunnetun alarajan antoi neliöruudukko, jonka tulos on luokkaa n·log log n. OpenAI:n malli rikkoi tämän esteen ensimmäistä kertaa.
Suomalaiset laitokset seuraavat tarkasti
Aalto-yliopiston ja Helsingin yliopiston matematiikan laitokset seuraavat tekoälyavusteista todistustyötä tiiviisti. Suomalainen tutkimusyhteisö on perinteisesti vahva diskreetin matematiikan ja kombinatorikan saralla. Kun yleinen päättelymalli kykenee tuottamaan omaperäisiä konstruktioita, kysymys nousee: mitä taitoja tohtorikoulutettavalle pitäisi opettaa?
Yksi käytännön muutos on jo näkyvissä. Useampi suomalainen jatko-opiskelija käyttää Lean- ja Coq-todistuksenvarmentajia päivittäisessä työssään. Kun OpenAI:n kaltainen malli tuottaa ehdokkaan, tutkijan rooli siirtyy ideoijasta varmistajaksi ja kysymyksenasettajaksi. Tämä ei syrjäytä tutkijaa, mutta muuttaa sitä, mistä lisäarvo syntyy.
Tavalliselle yliopistohakijalle uutinen voi tuntua kaukaiselta. Vaikutukset näkyvät kuitenkin pian opetussuunnitelmissa. Matemaatikon ammattikuva siirtyy kohti hybriditaitoja, joissa lukuteoria, ohjelmointi ja tekoälytyökalujen ohjaaminen kulkevat rinnakkain. Yritysten kannalta merkitys on samansuuntainen: tutkimusosastoilta odotetaan kykyä arvioida koneellisesti tuotettuja todistuksia, ei vain tuottaa niitä itse.
Sanasto
Diskreettigeometria
Matematiikan ala joka tutkii pisteiden, suorien ja muiden geometristen olioiden yhdistelmiä äärellisissä tai numeroituvissa joukoissa. Esimerkiksi: kuinka pisteet voidaan asetella tasossa tiettyjen sääntöjen mukaan.
Polynominen parannus
Matemaattinen tulos jossa parannus kasvaa pisteiden määrän potenssina (esim. n^1,014). Käytännössä tulos on merkittävästi parempi kuin vain logaritmisesti kasvava parannus.
Todistuksenvarmentaja (Lean, Coq)
Ohjelmisto joka tarkistaa matemaattisen todistuksen oikeellisuuden askel askeleelta. Tutkija kirjoittaa todistuksen muodollisella kielellä, ja ohjelma vahvistaa että jokainen päätelmä pitää paikkansa.
Avoimet kysymykset
Tulos ei vielä ratkaise Erdősin alkuperäistä kysymystä siitä, kuinka monta yksikköetäisyysparia n pisteellä todella voi olla. Yläraja on yhä n^(4/3), ja matkaa siihen on paljon. Olennaista on, että neliöruudukon ylivalta on kaatunut ja uusi tutkimussuunta on avoinna.
OpenAI ei kertonut, mikä malli tuloksen tuotti, eikä julkaissut päättelyketjua kokonaisuudessaan. Tämä jättää avoimeksi sen, kuinka toistettava löydös on ja kuinka paljon mallin sisäinen päättely muistutti perinteistä matemaatikon työskentelyä.
Sawinin ja Bloomin kaltaisten tarkastajien rooli on toistaiseksi välttämätön. Juuri se voi olla suomalaisen tutkimuskoulutuksen vahvuus seuraavan vuosikymmenen aikana: matemaatikko, joka osaa lukea koneen todistusta tarkemmin kuin kone itse.
Viikoittainen uutiskirje
Tule firmasi fiksuimmaksi AI-osaajaksi
Yksi uutiskirje kerrallaan. Kokoamme viikon tärkeimmät tekoälyuutiset suomeksi ja kerromme, mitä ne tarkoittavat sinun työsi kannalta. Luet sen kahvitauolla.
