Mathematiker besiegen o4-mini: 10 ungelöste Probleme, 75.000 Dollar Preisgeld

Mathematiker gegen eine KI: Zehn Probleme widerstehen, der Rest fällt

Im Mai 2025 fand auf dem Campus der University of California in Berkeley ein Treffen statt, das erst nachträglich in den allgemeinen Medienberichten auftauchte: Dreißig der weltweit renommiertesten Mathematiker saßen zwei Tage lang o4-mini gegenüber, einem Sprachmodell von OpenAI. Das Format war hart. Für jede Aufgabe, die die Maschine nicht lösen konnte, erhielt der Autor 7.500 Dollar (rund 6.389 Euro zum Wechselkurs). Am Ende blieben zehn Fragen unbeantwortet. Alle anderen wurden gelöst. Die Veranstaltung wurde von der gemeinnützigen Organisation Epoch AI im Rahmen des Projekts FrontierMath organisiert – ein Detail, das jeder Kenner ähnlicher Messen sofort hinterfragt: Wer zahlt die Reisekosten, wer die Hotels?

Was genau in Berkeley geschah

Die Schlagzeilen rund um den Globus sprachen von einer Demütigung. Das tatsächliche Ergebnis war differenzierter und deshalb unbequemer. Es gab keine menschliche Niederlage, aber eine klare Warnung: Die Gruppe schaffte es, zehn Probleme zu formulieren, die o4-mini nicht lösen konnte. Alle Anwesenden verstanden, dass dieser Vorsprung immer schwerer zu halten sein wird. Die Möglichkeit, ein „Level Five“ zu erreichen – Fragen, die selbst für die besten Menschen unlösbar sind – wirkte plötzlich nicht mehr wie Science-Fiction.

Es ist die Entwicklungsgeschwindigkeit, die beunruhigt. In nur einem Jahr löste das Modell Probleme vom Level Three und stieg auf Level Four. Hält diese Kurve an, rückt Level Five in greifbare Nähe. Das ist die harte Tatsache. Der Rest ist Rauschen.

Die Falle der Schlagzeile: Weder Demütigung noch Orakel

Die mediale Aufbereitung des Themas verdient einen eigenen Abschnitt. Manche argumentieren, dass die Reduktion eines ernsthaften technischen Fortschritts auf eine Clickbait-Schlagzeile eine ebenso wirksame Form der Desinformation sei wie jede Falschmeldung. Die Frage „Werden Mathematiker obsolet?“ stellte kein Mathematiker. Sie stellte jemand, der Klicks brauchte.

Gleichzeitig hilft die defensive Reaktion der Gegenseite auch nicht weiter. Ein Teil der Öffentlichkeit tut das Thema mit dem Argument ab, es handle sich um einen Papagei, der nicht versteht, was er sagt. Die Nuance ist wichtig: Ein Sprachmodell führt keine Internet-Suchen durch, um ein Problem vom Level Four zu lösen. Es schlussfolgert, verkettet Schritte und begründet jeden einzelnen. In einigen Fällen nutzte es Ansätze, die den Mathematikern selbst nicht eingefallen waren, obwohl sie andere Lösungswege kannten. Dies ist ein qualitativer Sprung, keine Google-Anfrage.

Der Multiplikator: Für Experten und Laien

Die nützlichste Unterscheidung, die aus all dem hervorging, trennt zwei Profile. Für jemanden, der sein Handwerk beherrscht, ist KI ein gewaltiger Kraftverstärker: Sie extrahiert Informationen aus hunderten Seiten Dokumenten in Sekunden, schlägt Strukturen vor und beschleunigt die mechanische Arbeit. Für jemanden, der nichts beherrscht, ist sie ein Verstärker der Oberflächlichkeit. Der konkrete Fall, der kursiert, ist der Programmierer, der nicht weiß, was von ihm verlangt wird, das Ergebnis des Modells kopiert und ohne Überprüfung integriert. Das liegt nicht an der Maschine.

Das zugrunde liegende wirtschaftliche Problem ist nicht, dass KI morgen jemanden ersetzt. Es ist, dass die Arbeit, die früher fünf Personen erledigten, nun von einer einzigen Person mit dem richtigen Werkzeug gemacht wird. Diese Anpassung findet bereits in bestimmten Sektoren statt, ohne große Schlagzeilen.

Was die KI noch nicht gelöst hat

Ein Kontrast, den man nicht aus den Augen verlieren sollte: Dieselbe Technologie, die in der Lage ist, über Elite-Mathematikprobleme zu schlussfolgern, hat es noch nicht geschafft, einen anständigen Kundenservice zu liefern. Kein Bot, der ein Problem löst, ohne dass man drei Menüs durchklicken und einen menschlichen Agenten kontaktieren muss. Der Markt existiert, ist enorm und bleibt ungelöst. Das sollte den Enthusiasmus bezüglich der Unmittelbarkeit bestimmter Dinge dämpfen.

Die andere Grenze ist tiefer. Bekannte Probleme zu lösen ähnelt verdächtig stark dem Befolgen eines Rezepts. Echte mathematische Kreativität – die Einführung eines neuen Konzepts wie der Galois-Gruppen, die in zwei Nachmittagen der Intuition entstanden – hängt nicht von Rechenleistung ab. Sie hängt von etwas ab, das wir noch nicht programmieren können.

---

Level Five bleibt unerreichbar. Die zehn Probleme, die in Berkeley standhielten, bleiben bestehen, als eine sich verengende Grenze. Niemand weiß, wie lange es dauert, bis das nächste fällt. Niemand weiß, ob es überhaupt fallen wird.