Google DeepMinds AI-algoritme AlphaGeometry løser komplekse geometriproblemer på niveau med en mester i matematikolympiaden

DeepMind

Et kunstigt intelligenssystem kaldet AlphaGeometry, udviklet af Google DeepMind, en britisk virksomhed, har demonstreret en evne til at løse geometriproblemer, der kan sammenlignes med niveauet for guldmedaljevindere ved International Mathematical Olympiad (IMO), en prestigefyldt konkurrence for gymnasieelever.

Her er, hvad vi ved

Ifølge DeepMinds forskere var AlphaGeometry i stand til at løse 25 ud af 30 IMO-testproblemer på de tildelte 4,5 timer. Dette resultat er sammenligneligt med den gennemsnitlige præstation for menneskelige olympiadevindere.

Sammenligning af produktiviteten hos AlphaGeometry, den tidligere model og IMO-medaljevinderne

Systemet kombinerer to forskellige tilgange:

• en neural sprogmodel, der genererer intuitive ideer;
• en symbolsk deduktionsmekanisme, der verificerer ideer ved hjælp af formel logik og regler.

Sprogmodellen er baseret på den samme teknologi som Googles søgemaskine og systemer til forståelse af naturligt sprog. Deduktionsmekanismen er inspireret af en metode, der blev udviklet af den kinesiske matematiker Wen-Tsün Wu i 1978.

Eksperter siger, at resultaterne demonstrerer fremskridt i udviklingen af maskinintelligens, der er i stand til at ræsonnere logisk og opdage nye matematiske indsigter. De anerkender dog begrænsningerne ved AlphaGeometry.

Ikke desto mindre mener DeepMind, at sådanne systemer i fremtiden kan finde udbredt anvendelse til at fremskynde videnskabelig forskning inden for matematik, naturvidenskab og andre områder. Til dette formål har de lagt AlphaGeometrys kildekode ud på GitHub.

Kilde: Natur