Google DeepMind tar et skritt nærmere å knekke toppnivåmatematikk

Forskere ved Google DeepMind har utviklet to nye AI-systemer, AlphaProof og AlphaGeometry 2, som har gjort betydelige fremskritt i å takle komplekse matematiske problemer. Disse systemene arbeidet sammen for å løse spørsmål fra Den internasjonale matematikk-olympiaden, en global konkurranse for begavede studenter. Selv om de ikke vant en gullmedalje, var deres prestasjon nær den til topp humanmatematikere. AI-systemene demonstrerte sine evner ved å løse problemer i algebra, geometri og tallteori. I ett problem måtte de bevise en geometrisk relasjon som involverte vinkler og midtpunkter. En annen utfordring involverte navigasjon på et spillbrett med skjulte monstre, noe krever strategisk bevegelse og hukommelse. Overordnet bringer AI-systemenes gjennombrudd dem nærmere å overgå humanmatematikere i komplekse matematiske domener.