Matematikere er ellevilde: AI løste gåde der har stået åben i 80 år

Det matematiske miljø er i oprør – på den gode måde. En AI har netop løst et problem der har udfordret matematikere siden 1940erne, og reaktionerne er begejstrede.

Gennembruddet

Problemet tilhørte området kombinatorisk matematik og involverede et yderst komplekst bevis. Til trods for årtiers indsats fra verdens dygtigste matematikere forblev løsningen utilgængelig for menneskelige hjerner.

Det var først da AI-forskning inden for matematisk bevisføring modtog massiv investering fra tech-giganter at fremskridtet kom. Et AI-system fandt en løsning som matematik-professorer herefter verificerede minutiøst.

Implikationer

Opdagelsen åbner potentielt for:

• Løsning af andre mangeårige matematiske problemer
• Nyt samarbejde mellem AI og menneskelig matematik
• Hurtigere fremskridt inden for kryptografi og fysik

Hvem stod bag?

Detaljer om det specifikke AI-system er under publicering. Forskere fra multiple institutioner er involveret i verifikationsprocessen.