Google DeepMind tar ett steg närmare att knäcka toppnivåmatematik

Forskare vid Google DeepMind har utvecklat två nya AI-system, AlphaProof och AlphaGeometry 2, som har gjort betydande framsteg i att hantera komplexa matematiska problem. Dessa system arbetade tillsammans för att lösa frågor från den Internationella Matematiska Olympiaden, en global tävling för begåvade studenter. Även om de inte vann en guldmedalj, var deras prestation nära den hos toppen av mänskliga matematiker. AI-systemen visade sin kapacitet genom att lösa problem inom algebra, geometri och talteori. I ett problem var de tvungna att bevisa en geometrisk relation som involverade vinklar och mittpunkter. En annan utmaning innebar att navigera på ett spelbräde med dolda monster, vilket krävde strategisk rörelse och minne. Sammanfattningsvis, AI-systemens genombrott bringar dem närmare att överträffa mänskliga matematiker inom komplexa matematiska domäner.