Google DeepMinds AI-system kan nu lösa komplexa matematikproblem

1. Google DeepMind har utvecklat två AI-system, AlphaProof och AlphaGeometry 2, som kan lösa komplexa matematikproblem som involverar avancerad resonemang. 2. Dessa system arbetade tillsammans för att lösa fyra av sex problem från den Internationella Matematiska Olympiaden (IMO), vilket gav dem en silvermedalj. 3. Detta är första gången något AI-system har uppnått en sådan hög framgångsgrad på dessa typer av problem. 4. Matematikproblem som involverar avancerad resonemang är svåra för AI-system eftersom de kräver att forma och dra på abstraktioner, komplex hierarkisk planering och att sätta delmål. 5. AlphaProof är ett system baserat på förstärkningsinlärning som tränar sig själv att bevisa matematiska påståenden i det formella programmeringsspråket Lean. 6. Gemini AI är finjusterad för att automatiskt översätta matematikproblem från naturligt språk till formella påståenden, vilket skapar en stor bibliotek av formella matematikproblem. 7. Automatisering av denna process är ett stort steg framåt för matematiksamfundet, vilket möjliggör större förtroende för riktigheten i publicerade resultat och mer samarbete. 8. AlphaGeometry 2 optimerades för att hantera geometriproblem och tränades på betydligt mer syntetiska data än sin föregångare. 9. Två berömda matematiker kontrollerade systemens inlämningar och tilldelade dem totalt 28 poäng av maximalt 42, vilket skulle ge en mänsklig deltagare en silvermedalj. 10. Skapandet av AI-system som kan lösa mer utmanande matematikproblem kan bana väg för spännande mänskliga-AI-samarbeten och hjälpa oss att lära mer om hur människor hanterar matematik.