Tekoäly mullisti matematiikan viikossa: Matemaatikko kertoo olevansa ”kauhuissaan”

Vain yhden viikon aikana kaksi maailman johtavaa tekoäly-yhtiötä julkisti tuloksia, jotka ovat järisyttäneet matemaatikkoyhteisöä. OpenAI ilmoitti ratkaisseensa 90 vuotta vanhan, miljoonan dollarin arvoisen matemaattisen ongelman, ja Anthropic puolestaan paljasti Claude-tekoälynsä kääntäneen yhden historian kuuluisimmista todistuksista tietokoneella varmennettavaan muotoon. Peräkkäiset julkistukset ovat saaneet matemaatikot huojumaan ihastuksen ja kauhun välillä.

Millennium-palkinto-ongelma ratkeaa

Tiistaina 8. syyskuuta OpenAI ilmoitti, että noin 10 000 tekoälyagenttia, jotka toimivat vielä julkaisemattomalla ja GPT-6 Astraa tehokkaammalla mallilla, olivat ratkaisseet Navier-Stokes-yhtälöiden olemassaoloa ja sileyttä koskevan ongelman 88 tunnissa. Ongelma on yksi kuudesta jäljellä olevasta Millennium-palkinto-ongelmasta, jotka Clay-instituutti nimesi vuonna 2000. Siinä kysytään, voivatko nesteiden liikettä kuvaavat yhtälöt tuottaa äkillisiä äärettömyyksiä eli ”räjähtää käsiin”. OpenAI:n agentit päätyivät siihen, että voivat.cnbc+2

Riippumatonta vahvistusta odottava ratkaisu perustuu espanjalaisten matemaatikoiden Diego Córdoban ja Luis Martínez-Zoroan työhön, sillä he kehittivät taustalla olevan menetelmän yli vuoden kestäneen tutkimuksen aikana. Julkistusta varjosti kuitenkin heti kiista. Vain tunteja ennen OpenAI:n tiedotetta New Yorkin yliopiston matemaatikko Tristan Buckmaster julkaisi lausunnon, jossa hän väitti työskennelleensä saman ongelman parissa yhdessä Anthropicin tutkijan Levent Alpögen kanssa Córdoban ja Martínez-Zoroan menetelmää käyttäen. Buckmasterin mukaan OpenAI kiirehti julkaisua saatuaan tietää heidän edistymisestään ja yritti näin vaikuttaa siihen, kenen ansioksi työ luetaan.techcrunch+4

Fermatin suuri lause tietokoneen ymmärtämään muotoon

Muutamaa päivää aiemmin Anthropic paljasti, että Claude oli luonut ensimmäisen täydellisen, tietokoneella varmennetun formalisoinnin Fermatin suuresta lauseesta Lean-todistusavustimella. Järjestelmä toimi pitkälti itsenäisesti 11 päivän ajan, tuotti noin 13 miljoonaa riviä koodia ja todisti matkan varrella 29 500 välilauseketta. Lontoon Imperial Collegen Kevin Buzzard, joka on johtanut rinnakkaista, vuosia kestänyttä hanketta saman todistuksen formalisoimiseksi, kutsui saavutusta ”poikkeukselliseksi autoformalisaation taidonnäytteeksi”.aitechdaily+2

Tulos ei ole uusi todistus: Andrew Wiles todisti lauseen jo vuonna 1995, vaan pikemminkin koneellisesti varmennettu koodaus olemassa olevasta todistuksesta. Matemaatikot olivat arvioineet tämän tehtävän vievän vuosia.letsdatascience+1

”Olen todella kauhuissaan”

Läpimurrot ovat saaneet tutkijat pohtimaan tieteenalansa tulevaisuutta. Cornellin yliopiston matemaatikko Steven Strogatz kuvaili lauantaina julkaistussa Wired News Corp ↘ 0.03% -lehden haastattelussa olevansa ”todella kauhuissaan” muutoksen vauhdista. ”Tiede on riemastuttavaa”, hän sanoi, ”mutta siihen liittyy paljon inhimillistä eripuraa.” Strogatz, joka on mukana kirjoittamassa tulevaa kirjaa ”Big Math” ihmisen ymmärryksen ylittävästä matematiikasta, näkee yritysten laboratorioiden välisen kilpailun johtuvan osittain tuottoisien pörssilistautumisten tavoittelusta. Hän huomautti, että tekoälyn vauhdittaessa matemaattisia löytöjä koko uransa näille ongelmille omistaneiden tutkijoiden tulevaisuus näyttää epävarmalta.wired