Google DeepMind sagt, dass seine künstlichen Intelligenzmodelle jetzt in komplexer Mathematik einen „Silber-Standard“ erreicht haben, nachdem sie bei der diesjährigen Internationalen Mathematik-Olympiade – einem der härtesten Mathematik-Wettbewerbe der Welt – vier von sechs Aufgaben gelöst haben.
Am 25. Juli gab Google DeepMind bekannt, dass es Durchbrüche bei der Lösung fortgeschrittener Denkprobleme in der Mathematik für AlphaProof und AlphaGeometry 2 erzielt habe.
Mathematik gilt als entscheidender Maßstab für die Entwicklung künstlicher Intelligenz. Komplexe Mathematik wie Geometrie erfordert intuitive und kreative Problemlösungsfähigkeiten und ausgefeilte Denkfähigkeiten.
AlphaProof ist ein neues, auf bestärkendem Lernen basierendes System für formales mathematisches Denken und AlphaGeometry 2 ist eine verbesserte Version eines Systems zum Lösen von Geometrien.
Die beiden Systeme lösten vier von sechs Problemen der diesjährigen Internationalen Mathematik-Olympiade (IMO) und „erreichten damit erstmals das Niveau eines Silbermedaillengewinners im Wettbewerb“, erklärte das Unternehmen.
Die IMO ist der älteste, größte und renommierteste Wettbewerb für junge Mathematiker. Er findet seit 1959 jährlich statt und an der diesjährigen Veranstaltung in Großbritannien nahmen mehr als hundert Länder teil.
Google erklärte, dass die Olympiade weithin als „große Herausforderung im maschinellen Lernen und als ehrgeiziger Maßstab zur Messung der fortgeschrittenen mathematischen Denkfähigkeiten eines KI-Systems“ anerkannt werde.
Der IMO-Goldmedaillengewinner Professor Sir Timothy Gowers kommentierte:
„Die Tatsache, dass das Programm eine derart nicht offensichtliche Konstruktion entwickeln kann, ist sehr beeindruckend und geht weit über das hinaus, was ich für den neuesten Stand der Technik hielt.“
Google hatte sich bereits zuvor mit mathematischen KI-Modellen beschäftigt, und zwar mit einem System namens AlphaGo, das das Brettspiel Go lernte und 2016 den legendären Go-Spieler Lee Sedol besiegte.
Forscher haben nun den Nachfolger von AlphaGo, bekannt als AlphaZero, mit vortrainierten Sprachmodellen zu AlphaProof kombiniert. Es trainiert durch das Lösen von Millionen von Problemen, die in die formale Programmiersprache „Lean“ übersetzt wurden.
AlphaGeometry 2 ist ein neurosymbolisches Hybridsystem, das auf dem Gemini-KI-Modell von Google basiert und über verbesserte Fähigkeiten zur Lösung geometrischer Probleme verfügt.
Das Unternehmen gab an, dass seine KI-Teams „weiterhin mehrere KI-Ansätze zur Förderung des mathematischen Denkens erforschen und planen, in Kürze weitere technische Details zu AlphaProof zu veröffentlichen.“
Laut einem Quartalsbericht der Google-Muttergesellschaft Alphabet wurde bei DeepMind viel Geld in KI-bezogene Forschung investiert. Der Verlust bei „Aktivitäten auf Alphabet-Ebene“, der hauptsächlich durch die Ausgaben für KI-Forschung und -Entwicklung verursacht wurde, belief sich im zweiten Quartal auf 2,3 Milliarden Dollar, fast doppelt so viel wie im gleichen Zeitraum des Vorjahres.
Verwandte Themen: 4 Dinge, die Google Gemini-Benutzer bald tun können
Mittlerweile ist der Wettbewerb im Bereich der KI immer härter geworden.
Laut einem Reuters-Bericht vom 15. Juli arbeitet der ChatGPT-Hersteller OpenAI in einem Projekt mit dem Codenamen „Strawberry“ an einem neuartigen Ansatz für seine KI-Modelle. Das Modell soll die Denkfähigkeiten der KI drastisch verbessern und autonome Deep-Internet-Recherchen ermöglichen.
Darüber hinaus kündigte OpenAI am 25. Juli die Einführung eines KI-gestützten Suchmaschinen-Prototyps namens SearchGPT an.
Am 23. Juli sagte Meta-CEO Mark Zuckerberg, dass das Unternehmen die nächsten Schritte in Richtung einer Entwicklung von Open-Source-KI zum Industriestandard unternehme und kündigte gleichzeitig die Veröffentlichung des neuesten Modells Llama 3.1 an.
Magazin: 1-Million-Dollar-Wette, dass ChatGPT nicht zu AGI führt, Apples intelligenter KI-Einsatz, Anstieg der KI-Millionäre: AI Eye