Das neueste KI -System von Google Deepmind, Alphageometry2, hat signifikante Fortschritte bei der Lösung geometrischer Probleme erzielt und den durchschnittlichen Goldmedaillengewinner des IMO -Wettbewerbs (International Mathematics Olympics) überschritten. Diese Durchbruchserreichung zeigt nicht nur das Potenzial von KI im Bereich der Mathematik, sondern bietet auch eine neue Richtung für die Entwicklung der allgemeinen KI.
Alphageometry2, das neueste KI -System, das von Google DeepMind Research Lab gestartet wurde, war in der Lösung geometrischer Probleme und übertriffte den durchschnittlichen Goldmedaillengewinner des IMO -Wettbewerbs (International Mathematics Olympics). Das System wird als verbesserte Version der Alphageometrie angesehen, und Forscher sagen, Alphageometrie2 kann in den letzten 25 Jahren 84% der geometrischen Probleme in der IMO lösen.
Warum konzentriert sich DeepMind auf solche Mathematikwettbewerbe der High School? Der Beweis, warum mathematische Theoreme oder Erklärungssätze (wie der pythagoräische Theorem) (z. B. pythagoräische Theoreme) gilt, erfordert logisches Denken und die Fähigkeit, mehrere mögliche Schritte auszuwählen. Wenn die Theorie von DeepMind gilt, werden diese Fähigkeiten zur Problemlösung für zukünftige allgemeine KI-Modelle sehr wichtig sein.
In diesem Sommer zeigte DeepMind ein System, das Alphageometry2 mit dem mathematischen Argumentations -AI -Modell Alphaprof kombiniert, das vier der sechs Probleme der IMO 2024 löste. Zusätzlich zu geometrischen Problemen kann dieser Ansatz auf andere mathematische und wissenschaftliche Bereiche wie komplexe technische Berechnungen ausgedehnt werden.
Die Kernkomponenten von Alphageometry2 enthalten ein Sprachmodell aus der Google Gemini -Serie und eine "Symbol -Engine". Das Gemini -Modell hilft dem symbolischen Motor, praktikable Lösungen für Probleme durch mathematische Regeln abzuleiten. Geometrische Probleme mit IMO basieren normalerweise auf Zahlen, die mit "konstruiert" hinzugefügt werden müssen, z. B. Punkte, Linien oder Kreise. Das Gemini -Modell von Alphageometry2 kann vorhersagen, welche Konstrukte bei der Lösung von Problemen hilfreich sein können.
Es ist erwähnenswert, dass Alphageometry2 bei der Lösung des IMO -Problems mehr als 300 Millionen Theoreme und den von DeepMind selbst erzeugten synthetischen Daten für das Training verwendet. Das Forschungsteam wählte in den letzten 25 Jahren 45 geometrische Probleme für IMO aus und erweiterte sie um 50 Probleme. Alphageometry2 löste erfolgreich 42 davon und übertraf die durchschnittliche Punktzahl des Goldmedaillengewinners.
Alphageometry2 hat jedoch immer noch einige Einschränkungen, wie sie keine Probleme mit variablen Zahlenpunkten, nichtlinearen Gleichungen und Ungleichheit lösen können. Trotzdem hat diese Studie eine Diskussion darüber ausgelöst, ob KI -Systeme auf symbolischen Operationen oder neuronalen Netzwerken beruhen sollten. Alphageometry2 verfolgt einen hybriden Ansatz, der neuronale Netzwerke und Regeln basierende symbolische Motoren kombiniert.
Der Erfolg von Alphageometry2 bietet eine neue Richtung für die zukünftige Entwicklung der allgemeinen KI. Obwohl das DeepMind-Team noch nicht vollständig autark ist, zeigt die Forschung des DeepMind-Teams, dass in Zukunft mehr autarke KI-Modelle verfügbar sein können.
Papiereingang: https://arxiv.org/pdf/2502.03544
Schlüsselpunkte:
Alphageometry2 ist in der Lage, 84% der geometrischen Probleme in der IMO in den letzten 25 Jahren zu lösen, was die durchschnittliche Punktzahl von Goldmedaillengewinners übertrifft.
Das System kombiniert neuronale Netzwerke und Symbolmotoren, um komplexe mathematische Probleme mit einem hybriden Ansatz zu lösen.
DeepMind hofft, die Forschungsfortschritte bei leistungsfähigerer allgemeiner KI zu fördern, indem sie geometrische Probleme lösen.
Der Erfolg von Alphageometrie2 zeigt nicht nur das Potenzial von KI im Bereich der Mathematik, sondern bietet auch eine neue Richtung für die Entwicklung der allgemeinen KI. Mit der kontinuierlichen Weiterentwicklung der Technologie wird KI in Zukunft starke Fähigkeiten in weiteren Bereichen aufweisen.