Google DeepMinds AI-algoritm AlphaGeometry löser komplexa geometriproblem på samma nivå som en mästare i matematikolympiaden

DeepMind

AlphaGeometry, ett system för artificiell intelligens som utvecklats av det brittiska företaget Google DeepMind, har visat sig kunna lösa geometriska problem på samma nivå som guldmedaljörerna i den internationella matematiska olympiaden (IMO), en prestigefylld tävling för gymnasieelever.

Det här är vad vi vet

Enligt DeepMind-forskare kunde AlphaGeometry lösa 25 av 30 IMO-testproblem under de tilldelade 4,5 timmarna. Detta resultat är jämförbart med den genomsnittliga prestationen hos mänskliga olympiadvinnare.

Jämförelse av produktiviteten hos AlphaGeometry, den tidigare modellen och IMO-medaljörerna

Systemet kombinerar två olika tillvägagångssätt:

• en neuronal språkmodell som genererar intuitiva idéer;
• en symbolisk deduktionsmekanism som verifierar idéer med hjälp av formell logik och formella regler.

Språkmodellen bygger på samma teknik som Googles sökmotor och system för förståelse av naturligt språk. Deduktionsmekanismen är inspirerad av en metod som utvecklades av den kinesiske matematikern Wen-Tsün Wu 1978.

Experter menar att resultaten visar på framsteg i utvecklingen av maskinintelligens som kan föra logiska resonemang och upptäcka nya matematiska insikter. De är dock medvetna om begränsningarna med AlphaGeometry.

DeepMind tror dock att sådana system i framtiden kan komma att användas i stor utsträckning för att påskynda vetenskaplig forskning inom matematik, naturvetenskap och andra områden. För detta ändamål har de publicerat AlphaGeometrys källkod på GitHub.

Källa: Natur