Die letzten Fields-Medaillen nur von Menschen?

Moderne Mathematik war nie nur das Produkt von einzelnen, einsamen Personen. Jeder Satz steht auf einer langen Geschichte von Ideen, Zeichen, Methoden, Gegenbeispielen und Gesprächen zwischen vielen Generationen. Trotzdem sehen wir bis heute oft einen zentralen Geist in jeder großen Arbeit. Wir sagen: Das ist die Sicht dieser Person, die Intuition jener Person, eine Technik mit dem Zeichen einer Schule oder eine Idee, die nur aus der eigenen Denk-Geschichte des Autors kommt. Die persönliche Handschrift in der Mathematik ist real. Sehen wir nicht auch die vier Träger der Fields-Medaille 2026, die am 23. Juli genannt wurden, als vier zentrale Geister mit vier persönlichen Entdeckungsreisen?

Bleibt dieses Bild auch in Zukunft so?

Im Mai dieses Jahres hat ein internes Modell von OpenAI eine neue Familie von Konfigurationen vorgestellt. Sie widerlegt einen Glauben von vielen Jahrzehnten über das Problem des Einheit-Abstands in der Ebene. Das Problem hat Paul Erdős im Jahr 1946 gestellt. Das Ergebnis löst nicht das ganze Problem. Aber es widerlegt die Hypothese, dass Konfigurationen auf der Basis eines quadratischen Gitters im Grunde fast optimal sind. Eine externe Gruppe von Mathematikern hat den Beweis geprüft. Zu den Experten, die die Neuheit des Arguments öffentlich positiv bewertet haben, gehört Jacob Tsimerman. Er hat gerade die Fields-Medaille bekommen.

Ich selbst konnte in letzter Zeit aus nächster Nähe beobachten, wie sich die Arbeit verändert: von der Maschine als Werkzeug zur Maschine als Partner bei der Entdeckung. Ich liebe Mathematik und entwickle KI. Als die Aufgaben der 67. Internationalen Mathematik-Olympiade IMO in Shanghai vom 10. bis 21. Juli erschienen, habe ich sie ChatGPT 5.6 zum Lösen gegeben. Ich habe ein Verfahren benutzt, das ich auch sonst bei meiner Arbeit benutze, auch wenn meine Arbeit nicht das Lösen von Mathematikaufgaben ist.

Huy chương Fields.

Überraschenderweise hat ChatGPT in zwei Tagen alle 6 Aufgaben vollständig gelöst. Das ist wie eine Goldmedaille mit voller Punktzahl. Nur 7 Teilnehmer haben das im ganzen Wettbewerb geschafft. Danach habe ich diese Methode weiterentwickelt, um ein offenes Problem zu bearbeiten. Es heißt Lonely Runner Conjecture (LRC, Vermutung vom einsamen Läufer) und existiert seit 1967. Nach zwei Tagen Arbeit war das Ergebnis sehr groß. Es ist sogar genug für einen seriösen Forschungsartikel für Fachzeitschriften, auch wenn die endgültige Antwort noch nicht fertig ist.

Ich sehe diese Systeme nicht als Mathematiker. Und ich sehe die Probleme, die ich so bearbeitet habe, nicht als meine persönliche Leistung. Wichtiger ist: Die Struktur der Arbeit hat sich verändert. Eine Frage wird in viele Zweige geteilt. Jeder Zweig sucht Literatur, baut ein Argument, sucht Gegenbeispiele oder spielt den Kritiker. Zwischenergebnisse kommen zurück und verändern die erste Frage. Der Mensch gibt nicht nur einen Befehl und wartet auf die Antwort. Er muss eine Umgebung bauen, in der viele Möglichkeiten entstehen, sich treffen, aussortiert und geprüft werden.

Manchmal glaubt die KI zu schnell an ein schönes Ergebnis, und ich muss sie zu den ursprünglichen Bedingungen zurückbringen. Manchmal will ich eine Richtung aufgeben, weil meine Intuition sagt, sie hat keine Zukunft mehr, aber ein anderer Denk-Zweig findet eine Struktur, die wichtig bleibt. Die meisten Ergebnisse muss man noch streng prüfen. Für mich ist nicht die perfekte Trefferquote interessant, sondern dass beide Seiten den Denkraum der anderen Seite ständig verändern. Das ist nicht mehr nur die Beziehung zwischen Nutzer und passivem Werkzeug, aber auch noch nicht die Beziehung zwischen zwei Mathematikern. Es ist eine Form von Zusammenarbeit ohne festen Namen.

Diese Erfahrungen zeigen mir eine Möglichkeit: Der Autor der Mathematik der Zukunft ist vielleicht nicht mehr der einzelne Mensch, sondern ein vielschichtiges System der Zusammenarbeit. Der Mensch behält die Richtung, wählt das Problem, beurteilt die Bedeutung, setzt die Standards für die Prüfung und trägt die letzte Verantwortung. Die KI vergrößert den Suchraum, hält viele Denkwege offen, findet ferne Verbindungen und geht Wege, die für die Kraft eines einzelnen Menschen zu lang sind. Der Beitrag lässt sich dann nicht leicht in Prozent teilen, weil eine Idee des Menschen eine Kette von Schlussfolgerungen der Maschine startet, und dann verändert das Ergebnis der Maschine wieder die erste Intuition des Menschen.

Deshalb will ich nicht sagen, dass bald eine Maschine auf die Bühne geht oder dass ein Modellname auf der Fields-Medaille steht. Wichtig ist: Die Arbeit, die geehrt wird, kommt vielleicht nicht mehr aus nur einem einzigen Gehirn. Und man kann sie nicht mehr vollständig mit der intellektuellen Biografie einer einzelnen Person erzählen.

Diese Realität zwingt die Mathematik, neue Standards für Publikation, Beitrag und Verantwortung zu bauen. Ein Artikel muss ehrlicher beschreiben, wo die KI mitgearbeitet hat: bei der Literatursuche, beim Erzeugen von Hypothesen, beim Vorschlagen von Lemmata oder bei der formalen Prüfung. Die Community muss unterscheiden zwischen der Nutzung von KI als Suchmaschine und einem System, das einen konzeptuellen Schritt erzeugt. Und ein Preiskomitee kann nicht nur fragen, wer am Ende des Manuskripts unterschreibt. Es muss verstehen, wie der Entdeckungsprozess organisiert war.

Ein guter Standard soll nicht so tun, als ob es KI nicht gibt. Er soll der Maschine aber auch nicht den Status eines Autors geben und so die Verantwortung des Menschen verwischen.

Solche neuen Verteilungen von Rollen warten selten, bis alle zustimmen. Sie beginnen oft mit kleinen Momenten: eine unerwartete Beweisrichtung, eine Hypothese von der Maschine oder eine Struktur, die nur erscheint, wenn Mensch und KI in einer tiefen kritischen Runde zusammenarbeiten.

Am Anfang nennen wir das Unterstützung. Danach nennen wir es Zusammenarbeit. Irgendwann merken wir: Man kann die beiden Seiten nicht mehr trennen, ohne die Leistung zu verlieren. Die Grenze verschwindet nicht an einem Tag. Sie wird mit jeder Arbeit blasser, bis die alte Sprache die neue Realität nicht mehr beschreiben kann.