Terence Tao lässt ChatGPT einen Beweis führen – und zwei Legenden revidieren ihre Meinung

Fields-Medaillenträger Terence Tao hat in seinem neusten Paper einen mathematischen Beweis von ChatGPT übernommen. Gleichzeitig veröffentlicht Donald Knuth ein Paper namens «Claude’s Cycles». Zwei der grössten Mathematiker unserer Zeit – in derselben Woche von KI überzeugt.

Vom «mittelmässigen Doktoranden» zu «spart mehr Zeit als es kostet»

Im September 2024 beschrieb Terence Tao – wohl der brillanteste lebende Mathematiker – die Arbeit mit KI als vergleichbar mit einem «mediocre, but not completely incompetent, graduate student». Diese Einschätzung hat sich grundlegend geändert.

Anfang März 2026 sagte Tao an der IPAM-Konferenz «Accelerating Math and Theoretical Physics with AI» in einem Fireside-Chat mit OpenAI-Forschungschef Mark Chen: KI sei nun «ready for primetime», weil sie in Mathematik und theoretischer Physik «saves more time than it wastes».

Ein Beweis von ChatGPT – in einem echten Paper auf arXiv

Am 23. März veröffentlichte Tao ein Paper auf arXiv mit dem Titel Local Bernstein theory, and lower bounds for Lebesgue constants. Darin: eine Schlüsselungleichung, die ChatGPT bewiesen hat.

Tao hatte ein Problem auf eine Toy-Ungleichung mit trigonometrischen Polynomen reduziert. Googles AlphaEvolve bestätigte numerisch, dass Sinusoide die Extremierer sind – aber einen rigorosen Beweis fand niemand. ChatGPT lieferte ihn. Taos Kommentar: Er habe «no issues with hallucinations or other AI-generated nonsense» erlebt. Die gleiche Aufgabe hätte manuell «hours of coding and debugging» gekostet.

Knuth benennt ein Paper nach Claude

Fast zeitgleich sorgte Donald Knuth – Turing-Preisträger, TeX-Erfinder und Autor von The Art of Computer Programming – für Aufsehen. Ende Februar veröffentlichte er ein Paper mit dem Titel Claude’s Cycles auf seiner Stanford-Seite.

Der Hintergrund: Claude Opus 4.6 löste in rund einer Stunde und 31 systematischen Versuchen ein offenes Problem der Graphentheorie, an dem Knuth wochenlang gearbeitet hatte – eine gerichtete Hamiltonsche Zyklenzerlegung. Knuth führt den Begriff Claude-like decompositions als formale mathematische Nomenklatur ein.

Zur Erinnerung: Im April 2023 hatte Knuth ChatGPT noch einen 20-Fragen-Test gegeben, zugesehen, wie es die Kapitelstruktur eines Leon-Uris-Romans halluzinierte, und die ganze Übung als Studie zum «Faken» bezeichnet.

Zwei Legenden, ein Signal

Tao und Knuth sind keine Techno-Optimisten, die jedem Hype folgen. Beide haben ihre Skepsis öffentlich dokumentiert – und beide haben sie jetzt, basierend auf konkreten Ergebnissen, revidiert. Wenn die zwei vielleicht einflussreichsten lebenden Mathematiker in derselben Woche sagen, dass KI in ihrem Fach angekommen ist, sollte man das ernst nehmen.