Google DeepMinds AI-algoritme AlphaGeometry løser komplekse geometriproblemer på samme nivå som en mester i matematikkolympiaden.

DeepMind

Et kunstig intelligenssystem kalt AlphaGeometry, utviklet av det britiske selskapet Google DeepMind, har vist seg i stand til å løse geometrioppgaver på nivå med gullmedaljevinnerne i den internasjonale matematikkolympiaden (IMO), en prestisjetung konkurranse for elever i videregående skole.

Dette er hva vi vet

Ifølge DeepMind-forskerne klarte AlphaGeometry å løse 25 av 30 IMO-testoppgaver i løpet av 4,5 timer. Dette resultatet kan sammenlignes med gjennomsnittsprestasjonen til menneskelige olympiadevinnere.

Sammenligning av produktiviteten til AlphaGeometry, den tidligere modellen og IMO-medaljevinnerne

Systemet kombinerer to ulike tilnærminger:

• en nevral språkmodell som genererer intuitive ideer;
• en symbolsk deduksjonsmekanisme som verifiserer ideer ved hjelp av formell logikk og regler.

Språkmodellen er basert på samme teknologi som Googles søkemotor og systemer for naturlig språkforståelse. Deduksjonsmekanismen er inspirert av en metode som ble utviklet av den kinesiske matematikeren Wen-Tsün Wu i 1978.

Eksperter sier at funnene viser at det er gjort fremskritt i utviklingen av maskinintelligens som er i stand til å resonnere logisk og oppdage ny matematisk innsikt. De erkjenner imidlertid at AlphaGeometry har sine begrensninger.

Likevel mener DeepMind at slike systemer i fremtiden kan få stor utbredelse og bidra til å fremskynde vitenskapelig forskning innen matematikk, naturvitenskap og andre områder. Derfor har de lagt ut kildekoden til AlphaGeometry på GitHub.

Kilde: GitHub: Nature