OpenAIs hemliga AI-modell knäcker över 370 olösta matteproblem
OpenAI har använt en intern AI-modell – ännu inte släppt till allmänheten – för att lösa eller delvis lösa mer än 370 tidigare olösta matematikproblem. Det intressanta är inte bara resultatet i sig, utan reaktionen: matematikforskarna är djupt oeniga om det här faktiskt är ett vetenskapligt genombrott eller ett hot mot disciplinen.
Djupdykning
OpenAIs hemliga modell har alltså knäckt – eller åtminstone naggt på – problem som legat olösta i decennier inom matematikens hårdaste kärnor, som talteori och kombinatorik. Det som gör det här ovanligt är att det inte handlar om att snabbt räkna ut svaret på en känd formel, utan om att navigera i ett landskap där det inte ens är självklart hur man ställer frågan rätt. Matematiker är splittrade på ett sätt som avslöjar en djupare spänning: de som jublar ser ett verktyg som kan accelerera mänsklig kreativitet, medan de som är oroliga fruktar att hela poängen med matematik – att förstå *varför* något stämmer, inte bara *att* det stämmer – håller på att lösgöras från processen. En AI kan producera ett korrekt bevis utan att ha den minsta aning om vad det betyder, och frågan är om det spelar någon roll. Det de flesta missar är att striden egentligen inte handlar om matematik utan om vem som äger erkännandet. Akademisk matematik är ett ryktessystem byggt på att rätt person löser rätt problem vid rätt tidpunkt – Fields-medaljen, tenure-positioner, arvet efter ett liv av tänkande. När en modell utan namn, historia eller doktorsavhandling börjar dyka upp i det landskapet, är det inte bara jobben som hotas utan hela berättelsen om vad en matematiker är.