Googles DeepMind har utvecklat AI-systemen AlphaProof och AlphaGeometry 2, som kan lösa avancerade matematiska problem på en nivå motsvarande en silvermedalj i den internationella matematikolympiaden (IMO).
Bildkälla: Google, bilden visar hur bra DeepMind presterade, nära guldnivå
Dessa system klarade fyra av sex problem i årets tävling, vilket är en stor bedrift eftersom de mest svårlösta problemen annars kräver tusentals timmars träning. AlphaProof hanterade algebra och talteori, medan AlphaGeometry 2 fokuserade på geometri.
Resultaten visar AI växande potential att hjälpa till med komplexa matematiska resonemang.
Läs mer om nyheten hos Google, DeepMind
