Die KI von DeepMind hat gezeigt, dass sie Probleme der Internationalen Mathematik-Olympiade (IMO) auf dem Niveau eines Silbermedaillengewinners lösen kann. Mit Hilfe der hochentwickelten Systeme AlphaProof und AlphaGeometry 2 konnte die KI vier der sechs anspruchsvollen IMO-Probleme lösen.
AlphaProof ist ein auf Reinforcement Learning basierendes System, das für formales mathematisches Denken entwickelt wurde. Es verwendet die formale Sprache Lean und kombiniert ein vortrainiertes Sprachmodell mit dem AlphaZero-Algorithmus, der für seine Erfolge in Spielen wie Schach und Go bekannt ist. Diese Methode ermöglicht es der KI, mathematische Beweise formal zu verifizieren und Fehler zu minimieren.
AlphaGeometry 2 ist eine verbesserte Version einer KI zur Lösung geometrischer Probleme. Mit einem neuro-symbolischen Hybridsystem nutzt es einen großen Datensatz und eine schnellere symbolische Engine, um komplexe Geometrieprobleme zu lösen. Bemerkenswerterweise hat es 83 % der historischen Geometrieprobleme der IMO gelöst und damit seine Vorgängerversion deutlich übertroffen.
Die Leistung der KI bei der IMO ist ein wichtiger Meilenstein in der Entwicklung der KI und zeigt ihr Potenzial im Bereich des fortgeschrittenen mathematischen Denkens. Dieser Durchbruch könnte den Weg für weitere Fortschritte in Wissenschaft und Technologie ebnen und neue Werkzeuge für Mathematiker und Forscher bereitstellen.
Quellen:
