OpenAI avaldab tohutu hulgaga AI-genereritud matemaatilisi uurimusi, mis tekitavad matemaatikutes imetlust ja muret

Pilt: The Verge · Allikas

OpenAI avaldas peaaegu 400 AI-genereritud matemaatilist tulemust eri valdkondadest, mis tekitab matemaatikutes elevust ja ärevust, kuna nende mõistmine ja kontrollimine võib võtta aastaid.

Üllatuslikus ja seninägematus sammuna avaldas OpenAI sel nädalal tohutu hulga AI-genereritud matemaatilisi teadustöid, kokku peaaegu 400 tulemust üle 700 käsikirja. Tööd hõlmavad mitmekesiseid matemaatikavaldkondi, sealhulgas kombinatoorikat, geomeetriat, arvuteooriat, algebrat, topoloogiat, tõenäosust, statistilist mehaanikat, matemaatilist füüsikat ja teoreetilist arvutiteadust. See järsk ja mahukas avaldamine on tekitanud matemaatikateaduse kogukonnas reaktsioone alates elevusest ja imetlusest kuni sügava mure ja segaduseni.

Paljud matemaatikud rääkisid The Verge'ile, et väljundi ulatus ja maht on hämmastav, nimetades seda „puhaks hulluseks“ ning rõhutades, et sisu täielik omandamine ja kontrollimine võib võtta aastaid. Kogumik sisaldab formaalseid tõestusi, mis on kirjutatud Leanis, tõestusabilises tarkvaras, mis suudab korrektsust arvutivõimsusega kontrollida. Samas tunnistab OpenAI avameelselt, et vaid umbes 42% käsikirjadest on formaliseeritud ning kontrollide kvaliteet ja rangus varjuvad töös laialdaselt.

Hoolimata sellest valitseb laialdane konsensus, et välja antud tulemused on tõeliselt muljetavaldavad, mõned neist käsitlevad kauaaegseid avatud probleeme, mida matemaatikakogukonnas väga hinnatakse. Stanfordi matemaatik Jared Duker Lichtman märkis mitmeid olulisi edusamme, sealhulgas progressi kuulsas Riemanni hüpoteesis, Hodge'i oletuse juhtumites ning lahenduse neljamõõtmelisele Kakeya oletusele. Need on suured väljakutsed, mis on kümneid aastaid lahendust oodanud ning on matemaatikas kõige prestiižsemate hulgas.

Sellegipoolest avaldasid paljud teadlased pettumust tööde ebajärjekindla kvaliteedi, lühikese ja mõnikord läbipaistmatu vormingu ning puuduliku tsiteerimise ja seletuse tõttu. Mõned kardavad, et AI-toodangu rohkus ilma põhjaliku inimliku kontrollita võib destabiliseerida akadeemilist kultuuri ja häirida traditsioonilisi uurimisrada. Muret tuntakse ka varajase karjääri matemaatikute pärast, kelle uurimisteemad ja karjäär sõltuvad seni lahendamata probleemidest, mida AI nüüd näib võimeline kiiresti lahendama.

OpenAI on püüdnud vastutustundlikult mõjuda matemaatikakogukonnale, tehes koostööd Matemaatika ja Tehisintellekti Nõuandekomisjoni (AGMAI) ning lubades töötubasid ja pidevaid uuendusi. Samuti on kehtestatud protokollid artiklite parandamiseks ja viitamiseks, eemaldades pärast avaldamist mõningaid artikleid vigade avastamisel. Kuid konkreetseid AI-mudeleid ega kasutatud käske pole avalikustatud ning paljud formaliseerimised alles tulevad.

Matemaatikakogukond seisab silmitsi kiiresti muutuva maastikuga, kuna AI kiirendab probleemide lahendamise võimekust tavapärasest inimvõimekusest kaugemale. Paljud matemaatikud ootavad aastaid kestvat tööd, et kontrollida, kontekstitada ja AI-toodud leidudele ehitada. Seda avaldust peetakse ajalooliseks verstapostiks matemaatikas, mida mõned võrdsustavad Euclidi Elementide tähtsusega, kuid see toob kaasa ka sügava ebakindluse inimuurijate tulevikuroolide suhtes. Täielikud tagajärjed uurimiskultuurile, karjääri arengule ja matemaatilisele avastusele alles hakkavad kujunema, kui kogukond selle muutva arenguga toime tuleb.