Terence Tao hat seine Zustimmung gegeben. GPT-5.2 ist auf einem Rausch der Siege. Wir werden schließlich zu "Silizium-Parus" herabsinken.

Herr Präsident, der vierte Turm der Mathematik ist gefallen!

Letzte Nacht hat dieses Memebild des Präsidentenflüsters einen nuklearen Explosionsartigen Diskussionsanstoß in der amerikanischen akademischen Welt ausgelöst.

Das Problem Nr. 281 von Paul Erdos wurde von einem „Laie“ mit KI brutal gelöst.

Das ernsteste intellektuelle Hochplateau der Menschheit ist zum Anhang eines Memebildes geworden. Die Regeln der alten Welt sind zusammengebrochen.

Erster Schauplatz: Ein Jahrhundertaltersproblem von GPT-5.2 besiegt

Dies ist nicht nur eine Lösung, sondern auch ein „Eindringen“.

Ein „Barbar“ mit einem H100-Rechenleistungskluster hat die Tore des Elfenbeinturms eingestoßen.

Schaut man sich nur das Lebenslaufblatt von Neel Somani an, reicht das schon, um traditionelle Mathematiker in ihren Überzeugungen zu erschüttern:

Ehemaliger Quant-Forscher bei Citadel (ein Wall-Street-Riesentier, berühmt für High-Frequency-Trading);

Ehemaliger Gründer von Eclipse (ein Hochleistungs-Blockchain-Projekt in der Solana-Ökosystem);

Aktuell erforscht er das Schnittgebiet von KI und Blockchain.

Er kommt aus Eclipse und bewegt sich in der Welt von Kryptowährungen und Blockchain. In seiner Welt ist Rechenleistung Macht und Konsens Wahrheit.

Im Januar 2026 stürmte er mit dem Silicon-Valley-Glauben an Rechenleistung in die Welt der Mathematik ein – indem er über Investitionen oder Kooperationen die Plattform ErdosProblems.com vorantrieb und die von Paul Erdős hinterlassenen mathematischen Preisfragen zu einem öffentlichen „Jägerspiel“ machte.

Seine Waffe ist nicht ein genialer Verstand, sondern GPT-5.2 Pro.

Somani's Logik ist einfach und brutal: Wenn mathematische Beweise formalisierbar sind, unterscheiden sie sich im Wesentlichen nicht von Bitcoin-Mining.

Solange man genug Grafikkarten hat und die KI schnell genug Fehlversuche machen kann, kann man durch Ausprobieren alle Möglichkeiten die Tore der Wahrheit öffnen.

Und das Ergebnis? Er hat gewonnen.

Vor einigen Tagen hat GPT-5.2 als Highlight dieses Monats erfolgreich das Erdős Problem #281 gelöst.

Das Erdős Problem #281 stammt aus der Arbeit von Erdős und Graham aus dem Jahr 1980 und befasst sich mit dem Grenzverhalten von „Überdeckungssystemen“:

Gegeben sei eine unendliche, streng monoton wachsende Folge positiver ganzer Zahlen n₁ < n₂ < ⋯. Wenn für jede beliebige Wahl von Restklassen aᵢ mod nᵢ die gesamte Menge der ganzen Zahlen von diesen Restklassen „fast vollständig überdeckt“ werden kann (d. h. die obere Dichte der nicht überdeckten ganzen Zahlen ist 0), gibt es dann notwendigerweise ein endliches Präfix k, so dass mit nur den ersten k Restklassen die Dichte der nicht überdeckten ganzen Zahlen auf beliebig kleine ε gedrückt werden kann und diese Abschätzung für alle Restklassenwahlen gleichmäßig gilt?

Dieses Problem hat 46 Jahre lang blockiert und bezieht harte Werkzeuge wie die Ergodentheorie und das Haar-Maß auf profiniten ganzen Zahlen ein.

Somani's GPT-5.2 Pro hat einen Beweis mit Hilfe der Ergodentheorie + des punktweisen Ergodensatzes + des Dini-Satzes geliefert. Terence Tao hat bewertet, dass dieser Ansatz sich deutlich von den bekannten Beweisen von Rogers/Davenport-Erdős unterscheidet.

Netzwerkteilnehmer auf X haben es als „die erste echte KI auf Doktorlevel“ gefeiert.

Dies ist bereits das dritte Erdős-Problem, das GPT-5.2 Pro im Januar 2026 gelöst hat.

Seit Weihnachten sind auf ErdosProblems.com 15 Probleme von „offen“ auf „gelöst“ gewechselt, wobei bei 11 davon klar angegeben ist, dass KI beteiligt war.

Terence Tao hat sogar eine Wiki-Seite erstellt, um die „Beiträge der KI zu Erdős-Problemen“ zu dokumentieren.

https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems?referrer=grok.com

Die Welt der Mathematik ist direkt aus der Phase „wird es kommen?“ in die Panikphase „wie schnell kommt es und wie viel wird es verschlingen?“ gesprungen.

Somani hat mit seiner Tat der Welt gezeigt: Man muss die Schönheit der Mathematik nicht verstehen, solange der Strompreis passt und die GPUs auf Volllast laufen, kann man die „Heilige Gral“ der Mathematik ernten.

Aber wenn man in der Mitte all der Jubelrufe sich die von Somani veröffentlichten Hintergrunddaten ansieht, wird man feststellen, dass die Grundlage dieses „Sieges“ eigentlich eine verwüstete Wüste voller Leichen ist.

Eine Wüste voller Leichen in der Datenbank

Neel Somani hat gewonnen, aber sehr hässlich.

Loggt man sich auf ErdosProblems.com ein und schaltet den Filter „nur erfolgreiche anzeigen“ aus, wird man sehen, dass im Hintergrund Tausende von „Leichen“ liegen.

Nach den echten Statistiken aus der Datenbank hat GPT-5.2 Pro nur eine erbärmliche Einmal-Erfolgsrate von 1% bis 2% bei diesen Problemen.

Das bedeutet, dass die KI im Hintergrund Hunderte oder Tausende von Unsinnsversuchen unternommen hat, um diesen auf den ersten Seiten erscheinenden perfekten Beweis zu erhalten.

Es erfindet nicht existierende Lemmata, verfällt in logische Tautologien und schreibt sogar mathematische Beweise als Reimerei.

Wenn es nur eine GPT-5.2 gäbe, hätte diese Müllmenge die Welt der Mathematik längst überflutet.

Also ist in diesem Spiel der echte MVP gar nicht GPT, sondern ein von der Masse übersehenes kaltblütiges Werkzeug – „Aristotle“.

Aristotle ist eigentlich ein spezielles Werkzeug, das von der Firma Harmonic entwickelt wurde. Es übersetzt die von GPT ausgegebene natürliche Sprache (oft Unsinn) automatisch und zwingt sie in die formale Sprache Lean um, bevor es sie an den Lean-Kern für strenge Überprüfung übergibt.

Es ist wie ein automatisiertes Kompilierungs- und Unit-Test-System mit „unendlichen Fehlversuchen + Null-Toleranz für Bugs“ für die KI.

Ohne es würde die 1% bis 2% Erfolgsrate von GPT nie ans Licht kommen.

Der aktuelle Prozess der Problemlösung durch KI wird immer standardisierter. GPT rät wild → Aristotle zwingt zur Formalisierung und beseitigt Schrott → Lean überprüft und gibt durch → Der Mensch liest nochmal.

Einmal, zweimal, zehntausendmal. Erst wenn der sehr unwahrscheinliche „Überlebende“ erscheint, lässt Aristotle ihn durch.

Was die Masse für ein „Wunder“ hält, ist eigentlich eine statistische Notwendigkeit.

Terence Tao hat auf Mastodon treffend bemerkt. Er weigert sich, das Wort „Intelligenz“ zu verwenden und hat stattdessen ein neues Wort erfunden: „Künstliche allgemeine Schlauheit“.

Achten Sie auf dieses Wort: Schlauheit.

Es ist wie ein schlechter Schüler, der nie in der Schule aufpasst und das Lehrbuch nicht versteht, aber durch wildes Cheaten und Ausprobieren zufällig eine Mathematik-Olympiadeaufgabe richtig beantwortet.

Und das ist genau, was Neel Somani will. Für diejenigen, die „minen“, interessiert es nicht, ob die Minenmaschine Geologie versteht, solange sie Gold findet.

Die letzte Verteidigungslinie: Die Menschen sind nur noch für die „Frage“ zuständig, nicht mehr für die „Antwort“

Werden also menschliche Mathematiker arbeitslos?

Das muss nicht sein. Aber ihre Rolle wird sich grundlegend verändern.

In dieser brutalen Version, die Neel Somani eröffnet hat, ist die mathematische Forschung nicht mehr das Gesang der Künstler, sondern wird zur Bauplanung der Architekten.

Ehemals mussten Mathematiker selbst in die Mine gehen und mit der Spitzhacke die Wahrheit graben. Jetzt hat GPT-5.2 die Spitzhacke übernommen.

Das einzige verbleibende Privileg und die letzte Verteidigungslinie der Menschen heißt „Probleme definieren“.

Sie müssen diesem wilden KI-Bergmann sagen: Wo soll man graben? Was soll man graben? Und am wichtigsten – warum lohnt es sich zu graben?

Das klingt wie eine Beförderung, vom „Bergmann“ zum „Baumeister“. Aber dahinter verbirgt sich ein großes Problem: Wir verlieren die Kontrolle über die Frage „warum“.

Wenn GPT-5.2 Ihnen einen Lean-Beweiscode mit Tausenden von Zeilen gibt, wird Aristotle Ihnen sagen, dass „es richtig ist“, aber Sie verstehen vielleicht gar nicht, was in der Mitte passiert ist.

Oberflächlich betrachtet werden die Menschen von „Bergmann“ zu „Baumeister“ befördert. Tatsächlich verlieren wir die Erklärungsmacht für die Frage „warum“.

Die Mathematik war einst die Sprache, mit der die Menschen das Universum verstehen wollten, und strebte nach äußerster Eleganz und Einfachheit.

Unter der Herrschaft der KI könnte die Mathematik zu einem Haufen von zwar richtigen, aber schönlosen, durcheinander geworfenen „logischen Anhäufungen“ werden.

Dies ist vielleicht die Strafe für die von Terence Tao erwähnte „Schlauheit“. Wir haben mit Rechenleistung Effizienz gewonnen, aber das Verständnis an die Maschine ausgelagert.

Natürlich hat Terence Tao auch wiederholt betont, dass die von der KI schnell gelösten Erdős-Probleme meist zu den „niedrig hängenden Früchten“ gehören – diejenigen, die mit Standardwerkzeugen gelöst werden können, aber bisher niemand die Mühe gemacht hat, sie zu kombinieren.

Die wirklich härtesten Dutzende Probleme (z. B. die, die neue Ideen oder neue Objekte erfordern) sind von der KI bisher noch weit entfernt.

Aber das Problem ist: Sobald die Rechenleistung × das Modell weiterhin exponentiell steigt, könnte gesterns „härtestes“ Problem morgen das „niedrig hängende Obst“ sein. Dies ist nicht das Ende, sondern die Beschleunigung.

Der 500-Dollar-Scheck wurde von Neel S