Algorithmischer Meilenstein: Künstliche Intelligenz meistert Mathe-Olympiade

Die Forschung an künstlicher Intelligenz (K.I.) hat einen bedeutenden Fortschritt gemacht und könnte schon bald ein wertvoller Verbündeter für Menschen werden. Bei Google DeepMind in London gibt es eine Tradition, um bedeutsame Ergebnisse zu feiern: das Schlagen eines zeremoniellen Gongs. Zuletzt tönte der Gong für AlphaGo und AlphaZero, die Herausforderungen in den Spielen Go und Schach meisterten. Nun gab es wieder einen Grund zu feiern: Ein neues K.I.-System von Google DeepMind hat bei der Mathematik-Olympiade 2024 eine bemerkenswerte Leistung gezeigt und schnitt auf dem Niveau eines Silbermedaillengewinners ab. Dies markierte das erste Mal, dass eine K.I. eine medaillenreife Leistung bei einer derartigen Herausforderung erzielte. Alex Davies, Leiter der Mathematik-Initiative bei Google DeepMind, nannte das Ergebnis einen "massiven Durchbruch" in der mathematischen Argumentation durch K.I. Ganz ohne Makel war die Leistung allerdings nicht. "Es ist nicht perfekt, wir haben nicht alles gelöst," sagte Pushmeet Kohli, Vizepräsident der Forschung bei Google DeepMind. Dennoch beschrieb er das Resultat als "phasenhaften Übergang" in der Nutzung von K.I. in der Mathematik. Während der Olympiade, bei der 609 Schüler aus 108 Ländern teilnahmen, löste das K.I.-System vier von sechs Problemen und erhielt dafür 28 Punkte. Die Mathematik-Experten Timothy Gowers und Joseph Myers beurteilten die Leistung der K.I. Beide sind erfahrene Teilnehmer und Gewinner früherer Olympiaden. Gowers zeigte sich beeindruckt und bestätigte, dass seine hohen Erwartungen von der K.I. erfüllt und in einigen Fällen sogar übertroffen wurden. Das Google DeepMind Team bewegte sich synchron zu den Schülern, die an der Universität von Bath ihre Prüfungen ablegten. Mit jedem gelösten Problem wurde der Gong geschlagen, um den Fortschritt zu feiern. Für Google DeepMind ist die erreichte Problemlösungsfähigkeit ein "Schritt in der Geschichte der Mathematik," so David Silver, Forschungsspezialist bei Google DeepMind. Diese Fortschritte sind ein Bestandteil der langfristigen Mission, A.G.I. zu erreichen. Bei einem früheren Versuch bewältigte ein System namens AlphaGeometry bereits nahezu auf dem Niveau eines menschlichen Goldmedaillengewinners Olympiade-Probleme. Angespornt von diesen Erfolgen intensivierte Google DeepMind seine Bemühungen mit zwei spezialisierten Teams und neuen Modellen wie AlphaProof. Diese Systeme nutzen verschiedene A.I.-Technologien, darunter ein informelles Argumentationssystem, das natürliche Sprache verwendet, und ein formales Argumentationssystem, das auf Logik basiert. Kommentare zu den zukünftigen Auswirkungen äusserte auch Dr. Gowers, der eine Phase prognostiziert, in der Mathematiker möglicherweise neue, bahnbrechende Unterstützung durch solche Technologien finden könnten.