Leichtgewichtige KI-Pipeline löst Forschungsaufgaben in Mathematik

In einer bahnbrechenden Studie zeigen neue KI-Modelle, dass eine schlanke, sprachbasierte Pipeline in der Lage ist, komplexe Forschungsaufgaben in der Mathematik zu lösen. Die Autoren nutzen fortschrittliche Sprachmodelle wie Gemini 3 Pro und GPT‑5.2 Pro, die in einem optimierten System zusammenarbeiten, um mathematische Beweise zu generieren und automatisch zu verifizieren.

Die Pipeline kombiniert die Stärken der Modelle mit einer automatisierten Zitatenprüfung, sodass jeder Schritt des Beweises nachvollziehbar und überprüfbar bleibt. Durch diese Vorgehensweise können die Systeme nicht nur Wettbewerbsaufgaben wie die International Mathematical Olympiad meistern, sondern auch echte Forschungsfragen adressieren.

Bei der Evaluation wurden zwei neuartige Datensätze eingesetzt: die ICCM‑Problemsets, die von führenden Mathematikern entwickelt wurden, und das „First Proof“-Set, bestehend aus bislang unveröffentlichten Forschungsfragen. Für alle Aufgaben der ersten beiden ICCM‑Sätze sowie für das vierte Problem des „First Proof“-Sets wurden vollständige, verifizierte Beweise geliefert. Die Ergebnisse wurden von einem Expertenteam geprüft und teilweise offiziell an die jeweiligen Organisationen eingereicht.

Alle generierten Beweise stehen öffentlich zur Verfügung, und die Autoren planen, die komplette Pipeline-Methodik in Kürze als Open‑Source-Projekt freizugeben. Diese Entwicklung markiert einen wichtigen Schritt in Richtung automatisierter Forschung und eröffnet neue Möglichkeiten für die Zusammenarbeit zwischen KI und Mathematik.