OpenAI släpper massiv AI-genererad matematisk forskning som väcker förundran och oro bland matematiker

Bild: The Verge · Källa

OpenAI har publicerat nästan 400 AI-genererade matematiska resultat inom olika discipliner, vilket väcker både entusiasm och oro bland matematiker som säger att förståelsen och verifieringen av denna omfattande mängd kan ta flera år.

I ett överraskande och aldrig tidigare skådat drag publicerade OpenAI denna vecka en stor mängd AI-genererade matematiska artiklar, som omfattar nästan 400 resultat fördelade på mer än 700 manuskript. Arbetet täcker ett brett spektrum av matematiska fält, inklusive kombinatorik, geometri, talteori, algebra, topologi, sannolikhet, statistisk mekanik, matematisk fysik och teoretisk datavetenskap. Denna plötsliga och omfattande publicering har väckt reaktioner som spänner från entusiasm och förundran till djup oro och förvirring inom matematikforskningsgemenskapen.

Många matematiker berättade för The Verge att omfattningen och volymen av materialet är häpnadsväckande, och beskrev det som "ren galenskap" och betonade att en fullständig förståelse och verifiering av innehållet kan ta flera år. Samlingen inkluderar formaliserade bevis skrivna i Lean, en bevisassistentprogramvara som kan verifiera korrekthet datoriserat. OpenAI erkänner dock öppet att endast omkring 42 % av manuskripten har formaliserats, och kvaliteten och noggrannheten i verifieringen varierar mycket över materialet.

Trots detta råder bred enighet om att publiceringen inkluderar genuint imponerande resultat, med några som behandlar länge olösta öppna problem som är högt ansedda inom matematiksamfundet. Stanford-matematikern Jared Duker Lichtman noterade flera betydande framsteg, inklusive framsteg relaterade till den berömda Riemann-hypotesen, fall av Hodge-förmodan och en lösning på den fyrdimensionella Kakeya-förmodan. Dessa är stora utmaningar som stått emot lösning i årtionden och är bland de mest prestige­fyllda inom matematiken.

Trots detta uttryckte många forskare frustration över den inkonsekventa kvaliteten på artiklarna, deras kortfattade och ibland oklara format samt brister i korrekt källhänvisning och presentation. Vissa fruktar att inflödet av AI-producerat arbete utan grundlig mänsklig granskning kan destabilisera akademisk kultur och störa traditionella forskningsvägar. Också oro finns för hur detta påverkar yngre matematiker, vars forskningsagendor och karriärer är beroende av olösta problem som AI nu verkar kunna lösa snabbt.

OpenAI har försökt agera ansvarsfullt gentemot matematiksamfundet, samarbetande med Advisory Group on Mathematics and Artificial Intelligence (AGMAI) samt lovat workshops och löpande uppdateringar. De har även infört protokoll för revision av artiklar och citeringar, och har tagit bort vissa artiklar efter publicering på grund av upptäckta fel. Däremot har de inte avslöjat vilka specifika AI-modeller eller promptar som användes för att generera resultaten, och många formaliseringsarbeten återstår att slutföra.

Matematikgemenskapen står inför en snabbt föränderlig situation, där AI påskyndar problemlösningsförmåga bortom konventionell mänsklig kapacitet. Många matematiker förutser att det kommer krävas år av arbete för att verifiera, kontextualisera och bygga vidare på AI-producerade fynd. Denna publicering ses som en historisk milstolpe i matematiken, jämförbar med betydelsen av Euklides Elementa enligt vissa, men den innebär också djup osäkerhet kring människans framtida roll som forskare. De fulla konsekvenserna för forskningskultur, karriärutveckling och matematisk upptäckt håller fortfarande på att utvecklas medan gemenskapen hanterar denna omvälvande utveckling.