Google-Tochter
KI-Modelle lösen komplexe Aufgaben der Matheolympiade 2024
Googles Tochterfirma Deepmind hat mit seinen KI-Modellen genug Aufgaben gelöst, um bei der Matheolympiade 2024 auf Silbermedaillen-Niveau mithalten zu können.
DeepMind, ein Tochterunternehmen von Google, hat mit seinen KI-Modellen AlphaProof und AlphaGeometry 2 einen bedeutenden Durchbruch erzielt. Diese Modelle wurden bei der Internationalen Mathematikolympiade 2024 getestet und konnten vier von sechs Aufgaben korrekt lösen, was dem Niveau einer Silberm...
DeepMind, ein Tochterunternehmen von Google, hat mit seinen KI-Modellen AlphaProof und AlphaGeometry 2 einen bedeutenden Durchbruch erzielt. Diese Modelle wurden bei der Internationalen Mathematikolympiade 2024 getestet und konnten vier von sechs Aufgaben korrekt lösen, was dem Niveau einer Silbermedaille entspricht, die Deepmind mitteilt.
Die KI-Modelle AlphaProof und AlphaGeometry 2 wurden speziell entwickelt, um komplexe mathematische Probleme zu lösen. AlphaProof nutzt eine Kombination aus dem Sprachmodell Gemini und dem Algorithmus AlphaZero, der durch bestärkendes Lernen (reinforcement learning) seine Fähigkeiten kontinuierlich verbessert. AlphaGeometry 2 kombiniert neuronale Netzwerke mit symbolischer KI, um geometrische Probleme effizient zu lösen.
AlphaProof: Meilenstein algebraischer und zahlentheoretischer Problemlösung
AlphaProof formalisiert mathematische Sprache, indem es Probleme in die Programmiersprache Lean übersetzt. Diese Übersetzungen werden dann von AlphaZero überprüft, um Beweisvorschläge zu generieren und zu validieren. Das Modell löste zwei algebraische und ein zahlentheoretisches Problem, darunter das schwierigste Problem der Olympiade, das nur von fünf menschlichen Teilnehmern gelöst wurde.
AlphaGeometry 2: Fortschritte in der geometrischen Problemlösung
AlphaGeometry 2 basiert auf einer neuro-symbolischen KI, die neuronale Netzwerke mit symbolischer Logik kombiniert. Das Modell wurde mit zehnmal mehr Daten als sein Vorgänger trainiert und konnte 83 Prozent der Geometrieaufgaben der letzten 25 Jahre lösen. Bei der diesjährigen Olympiade löste AlphaGeometry 2 das geometrische Problem in nur 19 Sekunden.
Die Fortschritte in der KI-Technologie von DeepMind versprechen, künftig für Forschung und Entwicklung von großem Nutzen sein zu können. Sie bieten auch neue Möglichkeiten für die Automatisierung und Optimierung in verschiedenen Industrien.
