OpenAI paskelbė milžinišką AI sukurtų matematikos tyrimų rinkinį, sukeldama tiek susižavėjimą, tiek nerimą matematikams

Vaizdas: The Verge · Šaltinis

OpenAI paskelbė beveik 400 AI sugeneruotų matematinių rezultatų įvairiose srityse. Tai sukėlė matematikų susidomėjimą ir nerimą, nes suprasti ir patikrinti tokius didelius duomenų kiekius gali užtrukti daugelį metų.

Netikėtu ir precedento neturinčiu žingsniu OpenAI šią savaitę paskelbė milžinišką AI generuotų matematinių darbų rinkinį – beveik 400 rezultatų per daugiau nei 700 rankraščių. Darbai apima platų matematikos sričių spektrą, įskaitant kombinatoriką, geometriją, skaičių teoriją, algebrą, topologiją, tikimybes, statistinę mechaniką, matematinę fiziką ir teorinę informatiką. Šis staigus, didelio masto paskelbimas sukėlė įvairias reakcijas: nuo susižavėjimo ir nuostabos iki gilaus susirūpinimo ir sumišimo matematikos tyrimų bendruomenėje.

Daugelis matematikų „The Verge“ sakė, kad paskelbtų rezultatų apimtis stebina ir yra tiesiog „grynas beprotybė“, pabrėždami, kad pilnai suprasti ir patikrinti turinį gali prireikti metų. Kolekcijoje yra formalizuoti įrodymai, parašyti Lean programinės įrangos pagalba, kuri gali kompiuteriškai patikrinti teisingumą. Tačiau OpenAI atvirai pripažįsta, kad tik apie 42 % rankraščių yra formalizuoti, o patikrinimo kokybė ir griežtumas labai skiriasi per visą darbų rinkinį.

Nepaisant to, plačiai sutariama, kad paskelbti rezultatai yra iš tiesų įspūdingi, kai kurie iš jų sprendžia ilgai neišspręstus klausimus, kurie yra labai gerbiami matematikos bendruomenėje. Stanfordo matematikas Jared Duker Lichtman pažymėjo kelis reikšmingus laimėjimus, įskaitant pažangą susijusią su garsiausiu Riemanno hipotezės klausimu, Hodge spėjimo atvejais ir keturių matmenų Kakeya spėjimo sprendimu. Tai dideli iššūkiai, kurie dešimtmečius neprisileido sprendimo ir yra vieni prestižiškiausių matematikos srityje.

Vis dėlto daugelis tyrėjų išreiškė nusivylimą dėl nedidelės ir kartais neaiškios straipsnių kokybės, jų trumpo ir kartais neaiškaus formato bei trūkumų prie tinkamo priskyrimo ir aiškumo. Kai kurie baiminasi, kad per didelis AI sugeneruotos medžiagos kiekis be nuoseklaus žmogiško įvertinimo gali destabilizuoti akademinę kultūrą ir sujaukti tradicines tyrimų kryptis. Taip pat kyla susirūpinimas dėl pradedančiųjų matematikų, kurių tyrimų temos ir karjeros priklauso nuo neišspręstų problemų, kurias AI dabar, atrodo, gali greitai išspręsti.

OpenAI stengėsi atsakingai įsitraukti į matematikos bendruomenę, bendradarbiaudama su Matematikos ir dirbtinio intelekto patariamojo grupės (AGMAI) nariais ir pažadėdama organizuoti dirbtuves bei reguliariai teikti atnaujinimus. Jie taip pat įdiegė dokumentų peržiūrų ir citavimo protokolus, pašalindami kai kuriuos straipsnius po leidimo dėl nustatytų klaidų. Tačiau iki šiol neatskleidė konkrečių naudotų AI modelių ar sukūrimo užklausų, o daugelis formalizacijų dar laukia publikavimo.

Matematikos bendruomenė susiduria su sparčiai besikeičiančia realybe, kai AI spartina problemų sprendimą už įprastų žmogaus galimybių ribų. Daugelis matematikų prognozuoja, kad prireiks metų, kad patikrintų, kontekstualizuotų ir paremtų AI sukurtus atradimus. Šis paskelbimas laikomas istorinėm reikšme matematikai, kurią kai kas prilygina Euklido „Elementų“ svarbai, tačiau kartu jis atneša gilią nežinomybę dėl žmonių tyrėjų ateities vaidmens. Visos pasekmės tyrimų kultūrai, karjeros plėtrai ir matematikos atradimų procesui dar tik aiškėja, nes bendruomenė dabar susiduria su šiuo transformaciniu pokyčiu.