Ny Deepmind-AI löser avancerade matematikproblem

Googleägda Deepmind har tagit fram två nya AI-system kallade Alphaproof och Alphageometry 2, som båda beskrivs som banbrytande när det handlar om förmågan att lösa svåra matematiska problem. Det rapporterar ARS Technica.

De båda systemen uppges ha löst fyra av de sex problem som fanns med under årets upplaga av den Internationella matematikolympiaden. Systemen fick 28 av 42 möjliga poäng, något som skulle ha motsvarat en silvermedalj i mästerskapet.

Matematikern Timothy Gowers skriver i ett inlägg på X att det är en imponerande bedrift, men påpekar också att AI-systemen behövde långt mer tid än mänskliga matematiker behövde för att lösa problemen, ibland uppåt 60 timmar.