Terence Tao: Tekoäly, joka ratkaisee ongelmia liian nopeasti, voi "myrkyttää" matematiikan
Terence Tao on sellainen matemaatikko, joka on viettänyt vuosia hiljaa kokeilemalla uusia tekoälytyökaluja ja kehunut avoimesti hyviä. Mutta GPT-6 Astran toimituksen jälkeen hän kirjoitti jotain, mitä harvat odottivat häneltä: jos hermoverkot alkavat jakaa vastauksia suuriin avoimiin ongelmiin liian nopeasti ja ilman läpinäkyvää prosessia, matematiikka voi menettää enemmän kuin hyötyä. Laukaisu oli konkreettinen tulos – OpenAI:n uusi malli väitti edistymistä twin prime -ongelmassa.
Ensinnäkin tosiasiat. OpenAI:n mukaan GPT-6 Astra käytti muodollisia todisteita Leanissa kutistaakseen peräkkäisten alkulukujen välisen eron ylärajaa 246:sta 186:een. Mittakaava: Yitang Zhang osoitti vuonna 2013, että alkulukupareja on äärettömän monta, enintään 70 miljoonan eron päässä toisistaan. James Maynard, joka voitti Fields-mitalin vuonna 2022, pudotti rajan 600:aan, ja yhteisö pienensi sen myöhemmin 246:een. Nyt kolme laboratoriota raportoi uusia lukuja kerralla: OpenAI 186:ssa, Anthropicissa 188:ssa, Axiom 212:ssa.
Pinnalla, aihetta juhlaan. Tao näki jotain muuta – varoitusmerkin.
Vastaus ei ole arvokkain osa
Taon ydinkohta kuulostaa melkein paradoksaaliselta: suuri avoin ongelma ei ole arvokas vastauksensa vaan siihen johtavan tien vuoksi. Kun matemaatikot taistelevat ongelmaa vastaan vuosia, he keksivät uusia menetelmiä, käsitteitä ja kokonaisia teorioita matkan varrella – ja nämä "sivutuotteet" ovat se, mikä todella vie tiedettä eteenpäin. Jopa umpikujasta on hyötyä: sen ymmärtäminen, miksi jokin lähestymistapa epäonnistui, on usein tärkeämpää kuin ratkaisun löytäminen.
Kuvittele nyt, että vastaus tulee neuroverkosta. Nopea, musta laatikko, ei näy välivaiheita. Ongelma on muodollisesti ratkaistu – mutta prosessia, jonka piti synnyttää uusia ideoita, ei koskaan tapahtunut. Tao kutsuu tätä "saastuttamiseksi" ongelmaksi: se lakkaa olemasta tulevien löytöjen lähde.
Navier-Stokes esimerkki
Tao paljastaa väitteensä konkreettisesta tapauksesta - Navier-Stokes-yhtälöiden globaalista säännönmukaisuusongelmasta, joka on yksi seitsemästä Millennium-palkinnon ongelmasta. Matemaatikot ovat jo melko varmoja, että vastaus on kielteinen: on olemassa alkuolosuhteet, joissa ratkaisu "räjähtää" äärellisessä ajassa. On jopa luonnosteltu nelivaiheinen suunnitelma suunnilleen samankaltaisen ratkaisun rakentamisesta sen vakauden varmistamiseen.
Pääasia on, että jokainen askel on raa'an vaikea ihmiselle, mutta sopii täydellisesti "koneoppiminen + tiukka aritmetiikka + muodolliset todisteet" kokoonpanolinjalle. Tao sallii, että tällainen hybridi voi aidosti ratkaista ongelman. Ja tässä on hankausta: jos ratkaisu osoittautuu niin monimutkaiseksi, ettei kukaan ihminen voi käsittää sitä, ja tekoälyä ylläpitävä yritys piilottaa koko prosessin suljettujen ovien taakse, matematiikka saa valintaruudun, mutta ei opi melkein mitään.
Miksi tällä on merkitystä matemaatikoiden ulkopuolella
Taon logiikka on laajempi kuin miltä se näyttää. Se koskee kaikkia kenttiä, joissa arvoa luodaan prosessissa, ei lopullisessa vastauksessa. Jos tekoäly alkaa välittömästi tuottaa "oikeita" ratkaisuja ja ihmiset lakkaavat kulkemasta yrityksen ja erehdyksen polkua, vaarana on, ettemme menetä nopeutta vaan ymmärrystä. Tao sanoo sen suoraan: pahimmassa tapauksessa tekoälyn vaikutus matematiikkaan voi muuttua positiivisesta negatiiviseksi.
Hän ei vastusta tekoälyä tieteessä – kaukana siitä, hän on yksi sen aktiivisimmista käyttäjistä. Häntä huolestuttaa erityinen skenaario: itsenäinen järjestelmä, joka pyörittää koko "hypoteesi - testaa - hylkää" -sykliä itsessään valtavalla laskennalla ja jakaa vain lopullisen vastauksen. Ei jälkiä, ei luonnoksia, ei tapaa oppia virheistään.
Mitä tulee seuraavaksi
Toistaiseksi tämä on varoitus, ei tuomio. GPT-6 Astra kutisti rajoituksen 186:een, mutta itse kaksoisprime-arvaus – että tällaisia pareja on äärettömän paljon – jää todistamatta. Tämä on välitulos, vaikkakin huomattava. Taon esittämä kysymys ulottuu syvemmälle: kuinka saada tekoäly nopeuttamaan tiedettä tyhjentämättä sitä. Hänellä ei ole vielä vastausta - eikä rehellisesti sanottuna kukaan muukaan.