Terence Tao, a Fields-érmes matematikus szerint az AI az ötletgenerálás költségét közel nullára csökkenti, de a szűk keresztmetszetet a verifikációhoz tolja át. A matematikai gyakorlatra gyakorolt hatását az autó megjelenéséhez hasonlítja: a gépkocsi gyorsabb volt minden korábbi közlekedési eszköznél, de eltömítette a keskeny, embereknek és lovaknak tervezett utcákat.
A jelenlegi matematikai infrastruktúra – folyóiratok, konferenciák, mentorálás – az emberekhez épült. Az emberi bizonyítások lassúak, de értékes mellékhatásokat hoznak: a kutatók szakértővé válnak, feltérképezik a matematikai terepet, új kutatási irányokat fedeznek fel. Az AI-asszisztált bizonyítások hatékonyan juttatnak el a hipotézistől az eredményig, de ezeket a mellékhatásokat elveszítik – gyakran alkalmatlanok a hagyományos folyóiratokra, mert hiányzik a bizonyítás útját dokumentáló narratíva.
Tao szerint nem az AI-t kell a meglévő struktúrába préselni, hanem új, gépekhez tervezett infrastruktúrát kell építeni. Példaként olyan nagy matematikai kihívásokat említ, ahol a megoldásokat formális bizonyítási asszisztensek ellenőrzik, vagy az automatikusan generált durva bizonyításokat finomítják tovább az emberek.
