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.
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.
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».
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.
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.
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.
Terence Tao und Donald Knuth – zwei der einflussreichsten Mathematiker – haben in derselben Woche ihre KI-Skepsis revidiert, basierend auf konkreten Ergebnissen.
Die Stiftung Internet Archive Switzerland nimmt im Mai 2026 ihre Arbeit mit Sitz in St. Gallen auf und kooperiert mit der HSG, um sämtliche KI-Modelle zu archivieren. Eine zweite Initiative rettet bedrohte Archive weltweit.
Die Schweiz wird Standort für ein globales Digital-Archiv – inklusive einer einzigartigen Mission, jedes verfügbare KI-Modell für die Nachwelt zu sichern.
CCP Games heisst seit dem 6. Mai 2026 Fenris Creations, ist unabhängig von Pearl Abyss – und hat Google DeepMind als Minderheits-Investor. Das KI-Labor will mit Eve Online Long-Horizon-Planning, Memory und Continual Learning trainieren.
DeepMind macht aus 22 Jahren MMO-Wirtschaft eine Trainingsumgebung für Agenten, die langfristig planen, sich erinnern und kontinuierlich lernen.
Anthropic-CEO Amodei warnt: Sechs bis zwölf Monate Zeit, bevor chinesische KI gleichzieht. Mythos liefert nicht nur Schwachstellen, sondern den lauffähigen Exploit gleich mit.
Patch-Geschwindigkeit wird zum Wettbewerbsfaktor – wer Updates über Tage liegen lässt, fängt sich KI-generierte Exploits ein.
