AI skakar forskarvärlden – i konflikt med matematiken

På några veckor har en AI-modell gjort anspråk på matematiska framsteg som skulle kunna sysselsätta forskare i åratal. Den 6 oktober publicerade Open AI hundratals AI-genererade manuskript med resultat inom allt från algebra och geometri till sannolikhetsteori och logik.

Materialet omfattar 372 grupper av resultat. Bland dem finns påstådda lösningar på problem som gäckat matematiker i årtionden, däribland den tredimensionella Kakeya-maximalkonjekturen. Modellen har också gjort framsteg kring den berömda Riemannhypotesen, som handlar om primtalens fördelning.

Open AI testade modellen på omkring 4 000 öppna problem och hastigheten är nästan lika uppseendeväckande som resultaten. För ett typiskt resultat krävdes beräkningsresurser motsvarande ungefär tre timmars tänkande med Chat GPT Pro.

Människan är fortfarande oförstående

Mängden har utlöst en strid om vad matematiska framsteg egentligen är. Alla resultat är ännu inte formellt verifierade och Open AI medger att de oformaliserade bevisen kan innehålla fel. Bara tio resultat har dessutom kompletterats med sammanfattningar av modellens resonemang.

Redan före publiceringen varnade 25 Fieldsmedaljörer för att AI-bolagens jakt på lösningar riskerar att stå i konflikt med matematikens mål. Ett viktigt bevis ger inte bara ett svar. Det kan också skapa nya metoder, frågor och sätt att förstå matematiken.

AI kan alltså vara på väg att lösa matematiska problem snabbare än människan hinner förstå lösningarna. Frågan är om det innebär mer matematik – eller bara fler svar.