Heutige Systeme der künstlichen Intelligenz (KI) verfügen über viele Fähigkeiten, sind jedoch meist weniger in der Lage, komplexe mathematische Probleme zu lösen. Deshalb ist Google so glücklich, dass zwei seiner DeepMind-KI-Systeme einige der herausfordernden Probleme lösen konnten, die in einem prestigeträchtigen Mathematikwettbewerb eingereicht wurden.
In einem Neuer Beitrag am Donnerstag veröffentlichtGoogle preist die KI-Intelligenz und die Errungenschaften der KI-Modelle DeepMind AlphaProof und AlphaGeometry 2 ab 2024 Internationale Mathematikolympiade (meiner Meinung nach) lösen beide Systeme vier der sechs Probleme. Die Bemühungen belohnten Googles KI zum ersten Mal in diesem Wettbewerb, der sich normalerweise an junge Mathematiker richtet, auf dem gleichen Niveau wie die Silbermedaillengewinner.
Außerdem: OpenAI führt SearchGPT ein – hier erfahren Sie, was es kann und wie Sie darauf zugreifen können
Jedes Jahr lädt IMO Mathematiker vor dem College ein, sich mit sechs äußerst schwierigen Problemen in Algebra, Kombinatorik (Zählen, Auswählen und Anordnen einer großen Anzahl von Objekten), Geometrie und Zahlentheorie auseinanderzusetzen. An diesem Wettbewerb sind nicht nur Menschen beteiligt, sondern es ist auch eine Möglichkeit, maschinelle Lernsysteme und KI im fortgeschrittenen mathematischen Denken zu testen und zu bewerten.
Mit der Übersetzung der Probleme in eine formale Sprache, die die KI von Google versteht, löste AlphaProof zwei algebraische Probleme und ein Problem der Zahlentheorie und fand nicht nur die Antwort, sondern bewies auch, dass die Antwort richtig war. Google bezeichnete die Zahlentheorie-Herausforderung als die schwierigste im Wettbewerb, da sie nur von fünf menschlichen Teilnehmern gelöst werden konnte. AlphaGeometry 2 findet Geometrieprobleme. Allerdings ist kein Modell in der Lage, die beiden kombinatorischen Probleme zu lösen.
AlphaProof ist ein KI-basiertes System, das sich selbst trainieren kann, mathematische Aussagen mithilfe formaler Sprache zu beweisen ZurücklehnenKombinieren vorab trainierter Sprachmodelle mit AlphaZero-Lernalgorithmus zur VerstärkungAlphaProof brachte sich zuvor selbst bei, wie man Schach, Shogi und Go spielt und gewinnt.
Außerdem: Googles neue Mathe-App löst fast jedes Problem mit KI: So nutzen Sie sie
AlphaGeometry 2 ist eine verbesserte Version von Alpha-GeometrieBasierend auf der Gemini-KI von Google kann das Modell äußerst anspruchsvolle Geometrieprobleme bewältigen, darunter Probleme mit Objektbewegungen und Gleichungen von Winkeln, Verhältnissen und Abständen.
Zusätzlich zum Testen der mathematischen Fähigkeiten von AlphaProof und AlphaGeometry 2 nutzte Google IMO, um ein in Gemini integriertes System zum logischen Denken in natürlicher Sprache mit erweiterten Problemlösungsfunktionen auszuprobieren. Im Gegensatz zu den beiden anderen Modellen erfordert dieses Modell keine Übersetzung des Problems in eine formale Sprache.
Auch wenn die Erfolge dieser Modelle abstrakt klingen mögen, sieht Google sie als einen weiteren Schritt in die Zukunft der KI.
„Wir freuen uns auf eine Zukunft, in der Mathematiker mit KI-Tools arbeiten, um Hypothesen zu erforschen, mutige neue Ansätze zur Lösung langjähriger Probleme auszuprobieren und zeitaufwändige Elemente von Beweisen schnell zu lösen – und in der KI-Systeme wie Gemini in Mathematik und Mathematik leistungsfähiger werden.“ breitere Argumentation“, sagte das Unternehmen in seinem Beitrag.
