Google DeepMind nærmer sig et gennembrud i topniveau matematik

Forskere ved Google DeepMind har udviklet to nye AI-systemer, AlphaProof og AlphaGeometry 2, som har gjort betydelige fremskridt i at tackle komplekse matematiske problemer. Disse systemer arbejdede sammen om at løse spørgsmål fra Den Internationale Matematiske Olympiade, en global konkurrence for begavede studerende. Selv om de ikke vandt en guldmedalje, var deres præstation tæt på topmenneskelige matematikere. AI-systemerne demonstrerede deres evner ved at løse problemer inden for algebra, geometri og talteori. I ét problem skulle de bevise en geometrisk relation mellem vinkler og midtpunkter. En anden udfordring krævede strategisk bevægelse og hukommelse på et spillebræt med skjulte monstre. I alt bringer AI-systemernes gennembrud dem nærmere til at overgå menneskelige matematikere i komplekse matematiske domæner.