OpenAI avaldas suure kogu seni avaldamata tehisintellekti mudeli matemaatikapõhiseid läbimurdeid

Pilt: The Verge · Allikas

OpenAI avaldas 722 käsikirja, mis kirjeldavad lahendusi sadadele kaua lahtisena seisnud matemaatikaülesannetele, mille töötas välja seni avaldamata sisemine tehisintellekti mudel. See töö, jagatud GitHubis, lisab tehisintellekti juhitud edusammudele, tõstes samal ajal esile uurimiseetika ja akadeemiliste normide küsimusi.

OpenAI on avalikustanud mahuka kogumi matemaatilisi tulemusi, mis on genereeritud seni avaldamata sisemise tehisintellekti mudeli poolt, hõlmates 722 käsikirja, mis on rühmitatud 372 seotud paperi peredesse. See ulatuslik avalikustamine lahendab väidetavalt sadu pikaajalisi avatud küsimusi mitmesugustes matemaatika valdkondades, jätkates viimastel aastatel tehisintellekti abiga saavutatud läbimurdeid selles vallas. Materjalid on kättesaadavad avalikus GitHubi hoidlus, mis sisaldab formaalseid tõestusi, mõttekokkuvõtteid ja toetavaid artefakte.

OpenAI sõnul pärineb enamik tulemusi järjepidevast protseduurist, kus sisemist mudelit rakendati umbes 4 000 ülesandele, keskmise arvutusajaga, mis võrdub kolme tunniga ChatGPT Pro peal iga tulemuse puhul. Need üksikud väljundid koondati, korraldati rangelt ja hinnati enne avalikustamist. Mõned keerukad juhtumid, näiteks tõestused Riemanni seeta funktsiooni nullivabadest piirkondadest ja CM Abel'i mitmekesisuste Hodge'i hüpoteesi kohta, nõudsid standardprotsessist kõrvalekaldeid ja inimtoimetamist selguse huvides.

Avaldatud hoidlas on üksikasjalik kataloog matemaatika distsipliinide kaupa, mis võimaldab navigeerida peamiste tulemuste ja nende kaasnapüütud tööde vahel. Paljudel käsikirjadel on kaasas formaalsed verifikatsioonid Lean tõestusabilise abil, kuigi osa jääb formaaliseerimata ja võib sisaldada vigu, mida OpenAI lubab tulevastes värskendustes parandada.

See avalikustamine järgneb Matemaatika ja Tehisintellekti Nõuandva Grupi soovitustele, mis julgustasid tehisintellekti uurimislaboratooriume jagama matemaatilisi avastusi kiiresti läbi tunnustatud akadeemiliste kanalite, pakkudes läbipaistvalt detailidena mudeli nimesid, kõrgendatud andmeid ja arvutuslikke kulusid. Grupp hoiatas samuti selliste tulemuste kasutamise eest ainult turundusvahendina, kuna see võib kahjustada matemaatikakogukonda.

Neid tehisintellekti genereeritud tulemusi analüüsivad ja valideerivad matemaatikud üle maailma ning laiem mõju on jätkuvalt kujunemisjärgus. Need tulemused lisanduvad kiiresti kasvavale tehisintellekti-põhisele matemaatilise uurimistöö korpusele, mis hõlmab laborite nagu Anthropic jõupingutusi, kes on sarnaselt töötanud ka ülemaailmsete väljakutsete, sealhulgas Millennium Prize küsimustega. Tehisintellekti kiire kaasamise tempo fundamentaalsesse matemaatikasse on esile kutsunud arutelusid uurimiseetika, akadeemilise tunnustuse ja inimmatemaatikute rolli üle, kelle varasemad tööd toetavad tehisintellekti saavutusi.

OpenAI plaanib hoida neid käsikirju avaliku versioonikontrolli all, võimaldades pidevaid muudatusi ja tagades läbipaistvuse. Ettevõte uurib ka täiendavaid kogukonnapõhiseid platvorme matemaatilise sisu levitamiseks ja koostööks selle täiustamisel. See avalikustamine tähistab olulist verstaposti tehisintellekti integreerimisel matemaatikauurimustesse, tuues esile nii märkimisväärse potentsiaali kui ka vastutustundliku innovatsiooni keerukused.