Matematikusok aggódnak az AI-cégek versenyéről

Az OpenAI bejelentette, hogy legújabb AI-modellje megoldotta a Navier-Stokes-problémát, amely az egyik hét Millennium-díj-probléma közül való, és egy millió dolláros jutalommal járt. A megoldáshoz az OpenAI 10 ezer autonóm AI-ágensből álló rendszert vetett be, amelynek költsége körülbelül 15 millió dollárra becsülhető. A matematikai közösség tagjai meglepetésüktől és aggodalmaitól számoltak be: a St. Andrews Egyetem tiszta matematika vezetője, Colva Roney-Dougal professzor azt mondta, hogy »teljesen tévedtem« három hónappal korábbi optimista előrejelzésében, míg a Manchester Egyetem matematikusa, David Silvester szerint a terület »nagyon instabilnak« érzi magát az átalakulás tempójában.

A matematikusok több aggályt fogalmaztak meg. James Robinson, a Warwick Egyetem kutatója szerint »immatúr játszótéri dicsekvésnek« nevezte azt, hogy a nagy technológiai cégek milliárdos költségvetéssel »elégetik« azokat a nehéz problémákat, amelyek a matematika kreatív fejlődésének hajtóanyagai. Silvester hozzátette, hogy a matematikusok már jelentős időt fordítanak egymás bizonyításainak ellenőrzésére, és az AI által gyorsan előállított megoldások ezt az »könyvelői« munkát még inkább megnövelik.

A változás az oktatást is érinti: az egyetemek nem tudják többé garantálni a hallgatók házi feladatainak hitelességét, mivel az AI-modellek azonnal megoldhatják azokat. Tristan Buckmaster, a New York-i Egyetem matematikusa szerint »a matematika nagy története most az, hogy senki sem akar semmit megosztani«, és hozzátette, hogy »a matematika ma már más, mint néhány napja«. Az OpenAI azt tagadta, hogy munkában lévő kutatások alapján tanult volna, amelyeken Diego Córdoba és Luis Martinez-Zoroa madridi matematikusok dolgoztak.