Am 23. Juli 2026 wurden auf dem Internationalen Mathematikerkongress in Philadelphia die Fields-Medaillen vergeben. Unter den vier Ausgezeichneten – Yu Deng, John Pardon, Jacob Tsimerman und Hong Wang – sind zwei Absolventen der Peking-Universität, Deng und Wang. Zeitgleich meldete die Internationale Mathematik-Olympiade in Shanghai ein Novum: Die chinesischen KI-Systeme Celia (Huawei) und dots-note-3.0 (Xiaohongshu) lösten alle sechs Aufgaben fehlerfrei und erreichten als erste Maschinen die perfekte Punktzahl von 42. Nur sieben der 666 menschlichen Teilnehmer gelang dies.

Die ausgezeichneten Arbeiten berühren fundamentale Fragen. Hong Wang bewies gemeinsam mit Joshua Zahl die dreidimensionale Kakeya-Vermutung – ein seit 1917 offenes Problem zur minimalen Fläche, die ein rotierender Stab überstreicht. Yu Deng leitete aus einem Modell harter Kugeln die Boltzmann-Gleichung der statistischen Mechanik ab und trug damit zu Hilberts sechstem Problem bei. Jacob Tsimerman, der erste an einer kanadischen Einrichtung tätige Preisträger, war maßgeblich am Beweis der André-Oort-Vermutung in der arithmetischen Geometrie beteiligt. John Pardon löste ein langjähriges Problem der geometrischen Topologie über Knotenverzerrungen.

Aus Pekinger Sicht unterstreichen die Ereignisse die gewachsene Stellung des Landes in der Spitzenforschung. Deng und Wang traten 2007 gemeinsam in die mathematische Fakultät der Peking-Universität ein; Wang ist zudem die dritte Frau nach Maryam Mirzakhani (2014) und Maryna Viazovska (2022), die diese höchste mathematische Auszeichnung erhält. Die KI-Ergebnisse zeigen, dass chinesische Unternehmen nicht mehr nur aufholen, sondern bei komplexem logischem Schließen zur Weltspitze aufschließen. Für Deutschland und Europa werfen diese Entwicklungen die Frage auf, wie Hochschulen und Forschungseinrichtungen in der Grundlagenforschung und im KI-gestützten Beweisen Schritt halten können.

Der Kongress dauert bis zum 30. Juli. Im weiteren Verlauf werden zehn Alumni und vier Fakultätsmitglieder der Peking-Universität als eingeladene Redner sprechen. Die mathematische Gemeinschaft beobachtet zudem, ob die Hybridisierung von menschlicher Kreativität und maschineller Beweiskraft den Erkenntnisgewinn beschleunigt.