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·3. OKTOBER 2026
arXiv erlaubt dir nur noch zwei Paper pro Monat
Die wichtigste Preprint-Plattform der Wissenschaft führt ein Einreichungslimit ein: zwei Paper pro Person und Monat. Grund ist die KI-getriebene Flut, die freiwillige Moderatoren überlastet.
KI-FORSCHUNG·2. OKTOBER 2026
DeepMind markiert KI-Proteine: 100 % Detektion, Funktion bleibt
Google DeepMind hat in Nature SynthID Bio vorgestellt, ein Wasserzeichen für KI-designte Proteine. Laut Paper erkennt es Sequenzen mit 100 % Trefferquote bei 0,1 % Fehlalarm, ohne die Funktion zu stören. Entfernbar ist es aber trotzdem.
KI-FORSCHUNG·2. OKTOBER 2026
Roboter können 74 % der körperlichen Aufgaben, rentabel sind 0.3 %
Anthropic hat gemessen, welche körperlichen Aufgaben Roboter heute übernehmen könnten: 74 %, das sind 34 % der Arbeitszeit. Kostengünstiger als Menschen sind sie aber nur bei 0.3 %. Bei heutigen Preistrends dauert es rund 40 Jahre bis 10 %.
KI-FORSCHUNG·29. SEPTEMBER 2026
22 KI-Forschende warnen vor einer «Intelligenzexplosion»
Geoffrey Hinton, Yoshua Bengio und OpenAI-Forschungschef Jakub Pachocki warnen in einem Papier vor einer Intelligenzexplosion. Automatisierte KI-Forschung könnte Jahre an Fortschritt in Monate pressen, die Politik brauche Einblick. Kritiker sehen auch Eigeninteresse der Labors.
KI-FORSCHUNG·28. SEPTEMBER 2026
Stanford steckt GPT-6 Astra direkt in einen Haushaltsroboter
Forschende aus Stanford und Caltech streichen bei ihrem Roboter die gelernte Steuerungsschicht und lassen ein Sprachmodell direkt die Bewegungsbefehle aussuchen. Was das taugt – und was die Demo verschweigt.
KI-FORSCHUNG·27. SEPTEMBER 2026
GPT-6 Astra knackt Enigma-Funkspruch von 1941 – in zwei Tagen
OpenAIs GPT-6 Astra hat einen deutschen Heeres-Funkspruch vom 10. Juli 1941 entschlüsselt, der seit 2005 als ungelöst galt. Das Modell suchte sich das Ziel selbst aus und schrieb Enigma-Simulator und Enigma-Bombe eigenständig in Python und C++. Dieselbe Autonomie ist der Grund, weshalb OpenAI seine leistungsfähigsten Modelle gerade gestoppt hat.