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.
Pascal Eugster
GRÜNDER & ENTWICKLER
31. MÄRZ 2026
2 MIN. LESEZEIT
INHALT
INHALT
in
PARTNER · INOO GMBH
Wie viel KI verträgt dein Betrieb? In 30 Minuten Klartext.
Kostenloses Erstgespräch — herstellerneutral, direkt aus dem Rheintal.
Gespräch buchen →
DAS WICHTIGSTE IN KÜRZE
Terence Tao und Donald Knuth – zwei der einflussreichsten Mathematiker – haben in derselben Woche ihre KI-Skepsis revidiert, basierend auf konkreten Ergebnissen.
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.
WEITERLESENDas könnte dich auch interessieren.
KI-FORSCHUNG·4. JULI 2026
AISI: Benchmarks unterschätzen KI-Agenten systematisch
Das britische AI Security Institute zeigt in seinem Frontier AI Trends Report, dass gängige Benchmarks die wahren Fähigkeiten von KI-Agenten zu tief ansetzen. Verbesserte man nur das «Scaffolding» eines Modells, stieg die Leistung in Cyber-Tests um fast 10 Prozentpunkte. Für KI-Sicherheit und Regulierung ist das ein Alarmzeichen.
KI-FORSCHUNG·4. JULI 2026
Murats Spezialmodell schlägt GPT, Claude und Gemini
Thinking Machines Lab von Ex-OpenAI-Chefin Mira Murati und der Hedgefonds Bridgewater zeigen: Ein kleines, feinjustiertes Custom-Modell schlägt die grossen Frontier-LLMs bei Finanzaufgaben. Es erreicht 84,7 Prozent Genauigkeit und kostet nur einen Bruchteil.
KI-FORSCHUNG·1. JULI 2026
KI scheitert an echter Biologie – in 7 von 10 Fällen
OpenAIs neuer Benchmark GeneBench-Pro prüft echtes Forschungsurteil statt Faktenwissen. Das beste Modell besteht nur knapp jede dritte der 129 Biologie-Aufgaben – eine nüchterne Messlatte für den Hype um KI in der Wissenschaft.
KI-FORSCHUNG·25. JUNI 2026
GPT-5 löst ein drei Jahre altes Immunologie-Rätsel
Der Immunologe Derya Unutmaz hatte ein Experiment vor drei Jahren ungelöst beiseitegelegt. GPT-5 Pro lieferte die Erklärung in einem Anlauf – und sagte danach sogar das Ergebnis eines unveröffentlichten Versuchs korrekt voraus. Ein Lehrstück darüber, wie KI zur Forschungspartnerin wird, ohne Expertenwissen zu ersetzen.
KI-FORSCHUNG·19. JUNI 2026
KI besteht nur jede dritte Forschungsaufgabe
OpenAIs neuer Test LifeSciBench prüft KI an 750 echten Aufgaben aus der Life-Science-Forschung. Das beste Modell löst nur 36 Prozent – ein nützlicher Dämpfer für überzogene Erwartungen an KI im Labor.
KI-FORSCHUNG·12. JUNI 2026
Diese KI träumt sich Strassen für Roboterautos
Das Startup Decart hat mit Oasis 3 ein Weltmodell vorgestellt, das fotorealistische Strassenszenen in Echtzeit erfindet – ein endloser Fahrsimulator, um selbstfahrende Autos auch mit seltenen Situationen zu trainieren. Noch fahren die Autos aber durch Wände.