OpenAI lanserer massiv AI-generert matematisk forskning som vekker ærefrykt og bekymring blant matematikere

Bilde: The Verge · Kilde

OpenAI har publisert nesten 400 AI-genererte matematiske resultater på tvers av ulike disipliner, noe som har skapt både begeistring og angst blant matematikere som mener at forståelsen og verifiseringen av dette enorme omfanget kan ta år.

I et overraskende og enestående trekk publiserte OpenAI denne uken en enorm mengde AI-genererte matematiske artikler, bestående av nesten 400 resultater fordelt på over 700 manuskripter. Arbeidet dekker et bredt spekter av matematiske fagområder, inkludert kombinatorikk, geometri, tallteori, algebra, topologi, sannsynlighet, statistisk mekanikk, matematisk fysikk og teoretisk informatikk. Denne plutselige, omfattende publiseringen har vekket reaksjoner som spenner fra begeistring og ærefrykt til dyp bekymring og forvirring i matematikksamfunnet.

Mange matematikere fortalte til The Verge at omfanget og volumet av materialet er overveldende, og beskrev det som «ren galskap», og understreker at full fordøyelse og verifisering av innholdet kan ta år. Samlingen inkluderer formelle bevis skrevet i Lean, et bevisassistentprogram som kan verifisere korrekthet datamaskinelt. OpenAI erkjenner imidlertid åpent at bare cirka 42 % av manuskriptene har blitt formalisert, og kvaliteten og grundigheten i verifikasjonen varierer mye over materialet.

Til tross for dette er det bred enighet om at lanseringen inkluderer genuint imponerende resultater, med noen som berører lenge uløste åpne problemstillinger som nytes stor respekt i det matematiske miljøet. Matematikeren Jared Duker Lichtman fra Stanford bemerket flere betydelige fremskritt, inkludert framdrift knyttet til den berømte Riemann-hypotesen, tilfeller av Hodge-konjekturet og en løsning på den firedimensjonale Kakeya-konjekturen. Dette er store utfordringer som har motstått løsning i tiår, og som er blant de mest prestisjefylte innen matematikk.

Likevel uttrykte mange forskere frustrasjon over den inkonsekvente kvaliteten på artiklene, det korte og til tider uklare formatet, samt mangler i riktig henvisning og framstilling. Enkelte frykter at tilstrømningen av AI-produsert arbeid uten grundig menneskelig gransking kan destabilisere akademisk kultur og forstyrre tradisjonelle forskningsveier. Det er også bekymring rundt virkningen på unge matematikere, hvis forskningsagendaer og karrierer er avhengige av uløste problemer som AI nå fremstiller å raskt kunne løse.

OpenAI har prøvd å engasjere seg ansvarlig med det matematiske miljøet, i samarbeid med Advisory Group on Mathematics and Artificial Intelligence (AGMAI), og har lovet workshops og løpende oppdateringer. De har også implementert protokoller for revisjoner av artikler og siteringer, og fjernet noen artikler etter publisering på grunn av oppdagede feil. Likevel har de ikke annonsert hvilke spesifikke AI-modeller eller prompt som ble brukt for å generere resultatene, og mange formaliseringer gjenstår fortsatt.

Det matematiske samfunnet står overfor et raskt skiftende landskap, ettersom AI akselererer problemløsningsevnen utover tradisjonell menneskelig kapasitet. Mange matematikere forventer at det vil kreve år med arbeid å verifisere, sette i kontekst og bygge videre på AI-produserte funn. Denne lanseringen regnes som en historisk milepæl innen matematikk, sammenlignbar med betydningen av Euklids Elementer ifølge noen, men den introduserer også dyp usikkerhet om menneskelige forskeres fremtidige rolle. De fulle implikasjonene for forskningskultur, karriereutvikling og matematisk oppdagelse utvikler seg fortsatt mens miljøet håndterer denne transformative utviklingen.