Bilanz der Quelle: Die Systeme AlphaProof und AlphaGeometry 2 von Google DeepMind haben vier von sechs Problemen der Internationalen Mathematik-Olympiade 2024 gelöst und 28 von 42 Punkten erreicht. Damit erreichten sie erstmals das Niveau einer Silbermedaille. Die Aufgaben wurden in formale Sprache übersetzt, und die Berechnungen benötigten bis zu drei Tage an Rechenzeit.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von deepmind.google. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von deepmind.google. Es erfolgte keine manuelle redaktionelle Bearbeitung.
