Google DeepMinds KI-Systeme können nun komplexe Mathematikprobleme lösen

1. Google DeepMind hat zwei KI-Systeme entwickelt, AlphaProof und AlphaGeometry 2, die komplexe Mathematikprobleme mit fortgeschrittener Logik lösen können. 2. Zusammen lösten sie vier von sechs Problemen der Internationalen Mathematik-Olympiade (IMO), was ihnen eine Silbermedaille einbrachte. 3. Dies ist das erste Mal, dass ein KI-System solch eine hohe Erfolgsrate bei dieser Art von Problemen erzielt hat. 4. Mathematikprobleme mit fortgeschrittener Logik sind für KI-Systeme schwierig, weil sie die Bildung und den Einsatz von Abstraktionen, komplexe hierarchische Planung und die Festlegung von Teilzielen erfordern. 5. AlphaProof ist ein auf Verstärkungslernen basierendes System, das sich selbst zum Beweisen mathematischer Aussagen in der formalen Programmiersprache Lean trainiert. 6. Gemini AI ist so feinjustiert, dass es Mathematikprobleme automatisch aus natürlicher Sprache in formale Aussagen übersetzt und dadurch eine umfassende Bibliothek formaler Mathematikprobleme erstellt. 7. Die Automatisierung dieses Prozesses ist ein großer Schritt für die Mathematikgemeinschaft, da sie größere Zuverlässigkeit in der Richtigkeit veröffentlichter Ergebnisse und mehr Zusammenarbeit ermöglicht. 8. AlphaGeometry 2 wurde für die Lösung von Geometrie-Problemen optimiert und mit erheblich mehr synthetischen Daten trainiert als sein Vorgänger. 9. Zwei renommierte Mathematiker überprüften die Einreichungen der Systeme und verliehen ihnen insgesamt 28 Punkte von maximal 42, was einem Menschen eine Silbermedaille einbringen würde. 10. Die Schaffung von KI-Systemen, die komplexere Mathematikprobleme lösen können, könnte den Weg für aufregende Menschen-KI-Zusammenarbeiten ebnen und uns helfen, mehr über die Art und Weise zu erfahren, wie Menschen Mathematik bearbeiten.