Chapter 1
Code statt Kreide: Die Geburt der Maschinenbeweise
Chapter 2
Die großen Härtetests: Wenn Genies Maschinen vertrauen
Chapter 3
Kreative Funken: Wie KI lernt, selbst zu beweisen
Chapter 4
Die Zukunft des Geistes: Was bleibt für uns?
Ch 3 · Kreative Funken: Wie KI lernt, selbst zu beweisen
gertrude KI in der Mathematik
Wo das neuronale Netz ein Muster spürt, menschliche Intuition uns zum Beweise führt.
gertrude Das System löst Geometrie-Aufgaben durch die Kombination eines schnellen neuronalen Netzes für kreative Ideen mit einer fehlerfreien Logik-Engine.
Quiz
Wie lange brauchte AlphaGeometry 2 bei der Mathematik-Olympiade 2024 für die Lösung von Problem 4?
Quiz
Welches KI-System von Google DeepMind löste Geometrie-Probleme bei der Mathematik-Olympiade 2024 in Rekordzeit?
gertrude Die KI übersetzt mathematische Aufgaben in Lean und beweist sie fehlerfrei durch bestärkendes Lernen
Quiz
Wie viele Punkte von 42 möglichen erreichte das KI-System AlphaProof bei der Mathematik-Olympiade 2024?
Quiz
Welche Methode nutzt AlphaProof, um das Finden von mathematischen Beweisen selbstständig zu trainieren?
Fun Fact
Superschnelle Geometrie: AlphaGeometry 2 löste ein extrem schweres Olympiade-Rätsel in nur 19 Sekunden – Spitzen-Schüler brauchen dafür oft Stunden voller Skizzen und Rechnungen.
Quiz
Welcher Meilenstein wurde im Jahr 2025 von einem fortgeschrittenen KI-System bei der Mathematik-Olympiade erreicht?
Quiz
Was war ein entscheidender Fortschritt des Olympiade-KI-Systems von 2025 im Vergleich zu 2024?
Glossary
automatischer theorembeweiser (Substantiv, m)
Ein Computerprogramm, das mathematische Sätze mithilfe logischer Algorithmen selbstständig beweist. Google DeepMinds System AlphaProof löste im Jahr 2024 drei Aufgaben der Internationalen Mathematik-Olympiade auf Silbermedaillen-Niveau.
Ein Computerprogramm, das mathematische Sätze mithilfe logischer Algorithmen selbstständig beweist. Google DeepMinds System AlphaProof löste im Jahr 2024 drei Aufgaben der Internationalen Mathematik-Olympiade auf Silbermedaillen-Niveau.
Quiz
Warum halluzinieren KI-Systeme wie AlphaProof im Gegensatz zu ChatGPT keine falschen Mathe-Beweise?