OpenAI löser tio långvariga matematikproblem
OpenAI presenterar nya resultat inom matematik och teoretisk datavetenskap – områden som geometri, kryptografi och komplexitetsteori (hur svåra problem egentligen är att lösa). Det intressanta här är att det handlar om genuint öppna forskningsproblem, inte benchmark-tester, vilket gör det till ett mer konkret test av vad AI faktiskt kan bidra med inom grundforskning.
Djupdykning
OpenAI har publicerat en samling resultat där deras modeller bidragit till att knäcka – eller åtminstone nudda – problem som matematikers och datavetares har stirrat på i decennier. Det handlar om framsteg inom geometri, kryptografi och komplexitetsteori, alltså det matematiska studiet av hur svåra beräkningsproblem egentligen är. Vad som gör det här anmärkningsvärt är inte att en AI "löste matte" – det är att modellerna verkar kunna navigera i det slags öppna, halvstrukturerade problemlandskap som tidigare krävde mänsklig intuition för att ens veta var man ska börja leta. Det de flesta missar i snacksen om "AI löser matematik" är att det finns en enorm skillnad mellan att verifiera ett matematiskt bevis och att hitta ett nytt. Det senare är egentligen ett kreativt sökproblem i ett oändligt rum av möjliga resonemang – och att en språkmodell kan bidra där utmanar ganska grundläggande antaganden om vad LLM:er faktiskt gör under huven. Om de här resultaten håller för granskning från det matematiska samfundet innebär det att vi rör oss mot en era där AI inte bara är ett verktyg för att skriva kod eller sammanfatta text, utan en aktiv partner i grundforskning – vilket förskjuter frågan från "kan AI tänka?" till "vilka problem väljer vi att ge det?"