KI-Modell von Anthropic erzielt Durchbruch bei der Lösung eines Problems, das Mathematiker seit über 150 Jahren plagt

In der Welt der modernen Wissenschaft und Technologie ist ein bedeutender Moment eingetreten, der die Vorstellung von der Rolle der künstlichen Intelligenz in der Grundlagenforschung verändern könnte. Ein Mitarbeiter des Unternehmens Anthropic, der über keine spezielle mathematische Ausbildung verfügt, startete ein Experiment, das zu unerwarteten Ergebnissen führte. Die neuronale Netzwerkkonfiguration erhielt den Befehl, zu versuchen, eine der schwierigsten mathematischen Hypothesen zu beweisen, an der die Menschheit seit mehr als anderthalb Jahrhunderten arbeitet. Für den Beweis dieser Hypothese ist nach wie vor eine Prämie von einer Million Dollar ausgesetzt.

Automatisierung der wissenschaftlichen Suche: 650 Ideen in 36 Stunden

Der Arbeitsprozess der KI an der Aufgabe dauerte 1,5 Tage. In dieser Zeit demonstrierte der Algorithmus die Fähigkeit zur autonomen Planung und Koordination. Das Modell koordinierte die Ausführung der Aufgabe selbstständig und testete 650 verschiedene Ideen und Lösungsansätze. Der Umfang der Rechenressourcen war beträchtlich: Der Algorithmus verbrauchte 31 Millionen ursprüngliche Token und bezog 60 separate Sub-Agenten in den Prozess ein. Dies zeugt vom Übergang von der einfachen Textgenerierung zu komplexer kognitiver Aktivität, die mehrstufige Logik und Hypothesenprüfung erfordert.

Verifizierung der Ergebnisse und Formalisierung

Ein entscheidender Schritt war die Bestätigung der Richtigkeit der erhaltenen Ergebnisse. Zwei festangestellte Mathematiker von Anthropic überprüften die Schlussfolgerungen des neuronalen Netzwerks und bestätigten deren Korrektheit. Anschließend wurden die Schlussfolgerungen mit Hilfe des interaktiven Theorembeweisers Lean formalisiert. Dies ist ein kritisch wichtiger Schritt, da Lean der Standard für die Überprüfung mathematischer Beweise ist, der menschliche Fehler ausschließt und absolute logische Präzision gewährleistet.

Kontext: KI in der Mathematik im Jahr 2026

Dieser Erfolg setzte eine Reihe mathematischer Entdeckungen fort, die in den letzten Jahren mit Hilfe neuronaler Netze erzielt wurden. Im aktuellen Jahr 2026 haben Algorithmen bereits mehrere Probleme von Erdős gelöst, und das Modell Astra von OpenAI hat 10 wichtige Ergebnisse bewiesen. Zuvor hatte das Team von Anthropic auch die bekannte Jacobi-Hypothese widerlegt. Diese Ereignisse deuten darauf hin, dass die KI nicht länger nur ein Werkzeug zur Datenverarbeitung ist, sondern ein vollwertiger Co-Autor bei der Schaffung neuen mathematischen Wissens geworden ist.

Ethische Debatten: Urheberschaft und Verantwortung

Trotz des technischen Erfolgs ist die wissenschaftliche Gemeinschaft in ihren Meinungen gespalten. Im Juni unterzeichnete eine Gruppe bekannter Mathematiker eine Erklärung, in der sie ihre Besorgnis darüber zum Ausdruck brachten, dass die KI den Wert der persönlichen Urheberschaft und der Verantwortung für Entdeckungen untergräbt. Kritiker befürchten, dass die Automatisierung von Beweisen zu einem Verlust des tiefen Verständnisses der Prozesse und zu einer Verwässerung der Verantwortung der Wissenschaftler für ihre Schlussfolgerungen führen könnte.

Optimistische Sicht: Die Zukunft der Mathematik

Gleichzeitig glauben viele Experten, darunter der Fields-Medaille-Preisträger Timothy Gowers, dass der Einsatz von KI die Mathematik zum Besseren verändern könnte. Sie sind der Ansicht, dass neuronale Netze in der Lage sind, Zusammenhänge und Muster zu finden, die dem menschlichen Verstand nicht zugänglich sind, was neue Horizonte für die Wissenschaft eröffnen wird. Der Durchbruch von Anthropic bestätigt, dass KI nicht nur in der Lage ist, gestellte Aufgaben zu lösen, sondern auch unerwartete Ansätze zur Lösung von Problemen zu finden, die unlösbar schienen.