”Vibematematiikan” ratkontaan harrastelija käytti vähemmän yllättäen tekoälyä.
Matemaatikko Paul Erdősin ongelmat ovat pys äyttäneet huippumatemaatikot jopa vuosiksi. Ne ovat tosin hieman kuvan algebraa monimutkaisempia. Adobe Stock / AOP
23-vuotias yhdysvaltalainen Liam Price on ratkaissut 60 vuotta vanhan matemaattisen pulman, matemaatikko Paul Erdősin ongelma numero 1196:n. Ongelma on aiemmin pysäyttänyt alan huippuasiantuntijat. Pricella ei ole korkeamman tason matemaattista koulutusta, mutta hänellä oli apunaan Open AI:n GPT-5.4 Pro -kielimalli.
Tekoäly löysi ongelmaan täysin uudenlaisen ratkaisutavan soveltamalla toisen matematiikan alan kaavaa, jota ihmistutkijat eivät olleet aiemmin keksineet kokeilla. Huippumatemaatikot, kuten Terence Tao (UCLA) ja Jared Lichtman (Stanford), ovat vahvistaneet ratkaisun merkittävyyden. Vaikka tekoälyn tuottama alkuperäinen todistus oli raaka ja vaati asiantuntijoiden muokkausta, sen ydinidea on täysin uusi ja saattaa tarjota laajempia sovelluskohteita lukuteoriassa.
Taon mukaan ihmistutkijoilla on ollut ongelman suhteen eräänlainen henkinen lukko.
Ratkaistu ongelma koskee niin sanottuja primitiivisiä joukkoja ja niiden ”Erdősin summaa”. Erdős oletti aikoinaan, että summan alin mahdollinen arvo lähestyy tasan yhtä, kun joukon luvut lähestyvät ääretöntä. Aiemmin muun muassa Lichtman itse oli yrittänyt todistaa tätä tuloksetta.
Price syötti ongelman tekoälylle sattumalta ja välitti tuloksen Cambridgen yliopistossa opiskelevalle yhteistyökumppanilleen Kevin Barretolle. Barreto ymmärsi ratkaisun poikkeuksellisen arvon ja välitti sen eteenpäin asiantuntijoille.
Tilaa Mikrobitti-uutiskirje
Maksuton uutiskirje kokoaa kahdesti viikossa hyödyllisimmät testit, oppaat, vinkit ja digiuutiset.