Von der Analyse von Katzen bis zu Erdős-Theoremen: Künstliche Intelligenz greift immer häufiger die Gipfel der Mathematik an

KI‑Modelle wechseln von geisteswissenschaftlichen Aufgaben zu komplexer Mathematik

*Derzeit wurden die meisten künstlichen Intelligenzen ursprünglich für Text- und Bildverarbeitung entwickelt, aber ihre Entwickler erkennen zunehmend das Potenzial, sie in der Mathematik einzusetzen. Das eröffnet zwei wichtige Richtungen:*

1. Wissenschaftlicher Fortschritt – neue Modelle ermöglichen es, Lösungen zu finden, die zuvor als unlösbar galten.

2. Demonstration der KI-Fähigkeiten – Erfolge in der Mathematik dienen als eindrucksvolles Beweisstück für die Effektivität der Technologie.

Erfolgsbeispiele
- Ein Cambridge‑Student nutzte ein OpenAI-Modell und löste das Erdős‑Problem, das zuvor als unzugänglich galt.
- Modelle erzielen hohe Ergebnisse bei der Internationalen Mathematischen Olympiade und anderen spezialisierten Wettbewerben.
- Die ehemalige Vorstandsmitglied Helen Tuner betont: „Wir haben bereits über die einfachen Aufgaben wie die Unterscheidung von Katzen und Hunden hinausgewachsen; jetzt löst KI hochrangige Probleme.“

Spezialisierte Entwicklungen
DeepMind (Google) AlphaProof Mathematik DeepMind (Google) AlphaGeometry Geometrie
Diese Modelle wurden auf den Benchmarks von Epoch AI anerkannt, die Geschwindigkeit und Genauigkeit der Lösungen messen. Ursprünglich galten große Sprachmodelle als ungeeignet, da sie Text „auf Basis von Wahrscheinlichkeiten“ generieren und häufig „halluzinieren“. Durch die Einführung von Reinforcement Learning und denkenden Architekturen wurde ihre Zuverlässigkeit jedoch deutlich erhöht.

Stärkung des Forschungsteams
OpenAI hat zwei herausragende Mathematiker gewonnen:

- Ernest Ryu – University of California, Los Angeles
- Mehtaab Sawhney – Columbia University

Diese Experten helfen dabei, die Modelle zu verbessern und ihre Fähigkeiten zur Lösung komplexer Aufgaben zu erweitern.

Mathematik als „prüfbarer“ Test
Mathematische Beweise lassen sich automatisch überprüfen, was sie zum idealen Feld für KI‑Experimente macht. Das fördert auch die Softwareentwicklung:

- Anthropic investiert in Claude Code – einen Assistenten, der Programmcode generiert.

Was kommt als Nächstes?
Um wirklich komplexe wissenschaftliche Fragen zu lösen, muss KI auf bereits vorhandene Ergebnisse zurückgreifen und nicht nur auf eine einmalige „Zwischensitzung“ angewiesen sein. Derzeit können Modelle Informationen aus verschiedenen Disziplinen effektiv aggregieren, was die Entdeckung neuer Ideen beschleunigt. Experten sind sich sicher: In naher Zukunft wird dies zum Schlüsseltreiber des wissenschaftlichen Fortschritts.

> *In der Mathematik hat KI bereits seine Wirksamkeit bewiesen.*