Google DeepMind nimmt einen Schritt näher an die Lösung von Top-Level-Mathematik.

Forscher bei Google DeepMind haben zwei neue KI-Systeme entwickelt, AlphaProof und AlphaGeometry 2, die erhebliche Fortschritte bei der Bewältigung komplexer mathematischer Probleme erzielt haben. Diese Systeme arbeiteten zusammen, um Fragen vom Internationalen Mathematik-Olympiade zu lösen, einem globalen Wettbewerb für begabte Schüler. Obwohl sie keine Goldmedaille gewannen, war ihre Leistung nahe an der von Top-Mathematikern. Die KI-Systeme demonstrierten ihre Fähigkeiten, indem sie Probleme in Algebra, Geometrie und Zahlentheorie lösten. In einem Problem mussten sie eine geometrische Beziehung zwischen Winkeln und Mittelpunkten nachweisen. Eine weitere Herausforderung bestand darin, ein Spielbrett mit versteckten Monstern zu durchqueren, was strategische Bewegungen und Erinnerung erforderte. Insgesamt bringt der Durchbruch der KI-Systeme sie näher daran, Menschen in komplexen mathematischen Domänen zu überbieten.