KI-Agent Aletheia revolutioniert mathematische Forschung

In den letzten Jahren haben sich die Grundlagenmodelle der KI so stark weiterentwickelt, dass sie nun sogar die goldmedaille‑Standardleistungen der Internationalen Mathematik-Olympiade erreichen. Der nächste Schritt besteht jedoch darin, diese Fähigkeiten von der Lösung von Wettbewerbsaufgaben auf die komplexe Welt der wissenschaftlichen Forschung zu übertragen. Hier kommt der neue Agent Aletheia ins Spiel.

Aletheia arbeitet iterativ: Sie generiert, überprüft und überarbeitet mathematische Lösungen vollständig in natürlicher Sprache. Das System nutzt eine fortschrittliche Version von Gemini Deep Think, ergänzt durch eine neu entwickelte Skalierungsregel für die Laufzeit, die über die üblichen Olympiad‑Aufgaben hinausgeht. Zusätzlich setzt Aletheia auf umfangreiche Werkzeuganwendungen, um die Komplexität wissenschaftlicher Literatur und Beweisketten zu bewältigen.

Die Leistungsfähigkeit von Aletheia wurde bereits in mehreren Meilensteinen demonstriert. So hat ein von der KI allein erstelltes Forschungsdokument (Feng26) Strukturkonstanten in der arithmetischen Geometrie – die sogenannten Eigengewichte – berechnet, ohne dass ein Mensch eingreifen musste. Ein weiteres Papier (LeeSeo26) zeigt die erfolgreiche Zusammenarbeit zwischen Mensch und KI bei der Beweisführung von Schranken für Systeme interagierender Teilchen, sogenannte unabhängige Mengen. Darüber hinaus führte Aletheia eine umfangreiche halbautonome Bewertung von 700 offenen Problemen aus der Bloom‑Erdos‑Conjectures-Datenbank durch und löste eigenständig vier bislang ungelöste Fragen.

Um die Öffentlichkeit besser über die Fortschritte von KI in der Mathematik zu informieren, schlägt die Studie vor, standardisierte Bewertungsstufen zu definieren, die die Qualität und Autonomie von KI‑unterstützten Forschungsarbeiten klar abbilden. Diese Initiative könnte die Transparenz erhöhen und die Akzeptanz von KI‑generierten Ergebnissen in der wissenschaftlichen Gemeinschaft fördern.