AI knækker 80 år gammelt matematisk problem – matematikere er ellevilde

Det lyder som science fiction, men det er virkelighed: En AI har løst et matematisk problem som de bedste matematiske hjerner i verden har arbejdet på i over 80 år.

Hvilket problem?

Detaljerne er tekniske, men den korte version: problemet tilhørte kategorien kombinatorisk matematik, og havde stået uløst siden 1940'erne. Mange af verdens klogeste matematikere havde forsøgt og fejlet. AI-systemet fandt løsningen i løbet af få timer.

Hvad er det bemærkelsesværdige?

Det er ikke første gang AI hjælper med matematik – systemer som AlphaProof fra DeepMind har tidligere imponeret. Men at løse et problem der har modstået 80 år af menneskelig indsats er en anden kategori. Matematikerne citeret i Version2 bruger ord som 'ellevilde', 'chokerede' og 'historisk gennembrud'.

Hvad betyder det for fremtiden?

Matematikere er optimistiske, men også forsigtige. AI er ekstremt god til at finde mønstre og kombinere kendte resultater på nye måder – men fundamentalt ny matematisk kreativitet er stadig primært et menneskeligt domæne. Hvad vi ser er snarere det perfekte samarbejde: AI som ultrakraftig assistent til menneskelig matematisk forskning.

Praktiske implikationer spænder vidt: fra kryptografi og algoritmer til fysik og ingeniørvidenskab. Matematikersamfundet glæder sig – og er lidt bange på samme tid.