Terence Tao Fields-mitalijuhlassa: Matematiikka edessä vuosisadan kriisi

Vuoden 2026 kansainvälisessä matemaatikkojen kongressissa (ICM) heti Fields-mitalistien Wang Hongin ja Deng Yun julkistamisen jälkeen Terence Tao, joka sai saman palkinnon vuonna 2006, piti puheen otsikolla "Matematiikka tekoälyn aikakaudella." Sen sijaan että olisi keskustellut siitä, voiko tekoäly käsitellä matematiikkaa, Tao esitti työhypoteesin: oletetaan, että tekoäly pystyy pian ratkaisemaan merkittävän osan tutkimusongelmista kohtuulliseen hintaan. Viitaten itsenäiseen First Proof -vertailuarvoon, jossa tekoälyjärjestelmät ratkaisivat 7 ongelmaa 10:stä julkaisukelpoisella tasolla, Tao korosti, että tämä mahdollistaa keskustelun siirtämisen arvojen alueelle. Tao sovelsi Goodhartin lakia: kun mittarista tulee tavoite, se lakkaa olemasta hyvä mittari. Hän osoitti, miten matemaattisen tutkimuksen tavoitteiden (ongelmanratkaisu, todentaminen, selkeä esitys, yhteisön hyväksyntä, kanonisointi) kehitys johtaa "todistuksen ylenpalttisuuteen" – siirtymään todistusten niukkuuden aikakaudelta todistusten runsauden aikakauteen. Tao vaati vähentämään "ensimmäisen ratkaisun" painoarvoa ja lisäämään "digestion" eli jalostusvaiheiden – esityksen, julkaisun ja kanonisoinnin – tärkeyttä. Hän kannatti Leidenin julistusta tekoälystä ja matematiikasta, joka edellyttää tekoälyn käytön ilmoittamista, ja kirjoittajat ovat täysin vastuussa oikeellisuudesta. Taon tiukka sääntö: jos kirjoittaja ei kykene esittämään työtä suullisesti selkeästi ja asiantuntevasti, sitä ei pidä julkaista. Tao itse myönsi käyttäneensä tekoälyä diojen valmisteluun ja vaati avointa keskustelua yhteisössä.