Google hat zwei hochmoderne Systeme für künstliche Intelligenz vorgestellt, die bei der Bewältigung komplexer mathematischer Probleme bemerkenswerte Fortschritte gemacht haben und einen bedeutenden Fortschritt auf dem Gebiet der generativen KI darstellen. Traditionell hatten KI-Modelle, die sich auf statistische Vorhersagen verlassen, um das nächste Wort zu bestimmen, mit der abstrakten Mathematik zu kämpfen, da sie fortgeschrittene Denkfähigkeiten erfordert, die an die menschliche Kognition erinnern.
DeepMind, Googles KI-Forschungszweig, gab bekannt, dass seine neuesten KI-Modelle, AlphaProof und AlphaGeometry 2, vier von sechs Problemen bei der Internationalen Mathematikolympiade 2024, einem prestigeträchtigen Wettbewerb für Oberstufenschüler, erfolgreich gelöst haben. Dieser Meilenstein unterstreicht einen bedeutenden Durchbruch in der Fähigkeit der KI, komplexe mathematische Aufgaben zu bewältigen. Google stellte in einem Blogbeitrag fest, dass ein Problem zwar innerhalb von Minuten gelöst wurde, andere jedoch bis zu drei Tage dauerten und damit das Zeitlimit der Konkurrenz überschritten.
Dennoch stellt diese Leistung die höchste Punktzahl dar, die jemals von einem KI-System in diesem Wettbewerb erzielt wurde. AlphaProof, das sich durch Argumentation auszeichnet, wurde durch die Kombination von Gemini, dem Sprachmodell hinter Googles Chatbot, mit AlphaZero entwickelt, einem KI-System, das dafür bekannt ist, menschliche Meister in Brettspielen wie Schach und Go zu übertreffen. AlphaProof gelang es, drei der Probleme der Olympiade zu lösen, darunter das größte, das nur fünf von mehr als 600 menschlichen Teilnehmern lösen konnten.
Darüber hinaus löste AlphaGeometry 2 ein weiteres Problem, was von den beeindruckenden Fähigkeiten der KI zeugt. Die neuen Durchbrüche bei AlphaProof und AlphaGeometry 2 veranschaulichen das Potenzial der KI, Probleme anzugehen, die tiefgreifendes Denken und Verständnis erfordern und über die reine Mustererkennung hinausgehen. Dieser Fortschritt könnte weitreichende Auswirkungen auf verschiedene Bereiche haben, die auf anspruchsvolle Problemlösungen angewiesen sind, wie etwa Physik, Ingenieurwesen und Wirtschaftswissenschaften.
Die Integration verschiedener KI-Systeme wie Gemini und AlphaZero in eine einheitliche Einheit mit fortschrittlichem Denken deutet auf eine vielversprechende Zukunft hin, in der KI bei hochspezifischer wissenschaftlicher Forschung und Entdeckung noch nützlicher sein kann. Die längere Zeit, die die KI zur Lösung bestimmter Probleme benötigt, deutet jedoch darauf hin, dass noch erheblicher Raum für Verbesserungen besteht. Zukünftige Fortschritte werden sich wahrscheinlich darauf konzentrieren, die Geschwindigkeit und Effizienz dieser Modelle zu erhöhen und sie für Echtzeitanwendungen praktischer zu machen.“