Fünfundzwanzig führende Mathematiker haben einen offenen Brief unterzeichnet, in dem sie KI-Laboren vorwerfen, die Leistungsfähigkeit ihrer Systeme zu übertreiben — und damit die Glaubwürdigkeit der mathematischen Forschung selbst zu untergraben.\n\n## Die wichtigsten Punkte\n\n- Fünfundzwanzig namhafte Mathematiker haben einen gemeinsamen offenen Brief unterzeichnet, in dem sie KI-Labore für die Falschdarstellung mathematischer KI-Fähigkeiten kritisieren.\n- Der Streit eskalierte, nachdem OpenAI behauptet hatte, seine KI-Agenten hätten das Navier-Stokes-Millennium-Preisproblem gelöst — eine Behauptung, die sofort auf Widerspruch von Experten stieß.\n- Mathematiker argumentieren, dass übertriebene KI-Behauptungen das öffentliche Vertrauen in das Fachgebiet untergraben und verzerren, wie Förderinstitutionen und Hochschulen echten mathematischen Fortschritt bewerten.\n- Der Brief stellt eine seltene, koordinierte öffentliche Herausforderung der Wissenschaft gegenüber den Marketingpraktiken der KI-Industrie dar.\n- Kein KI-System wurde zum Zeitpunkt dieser Veröffentlichung unabhängig verifiziert, eines der sieben Millennium-PreisProbleme gelöst zu haben.\n\n## Die Navier-Stokes-Behauptung, die den Funken zündete\n\nDer unmittelbare Auslöser war die Ankündigung von OpenAI, seine KI-Agenten hätten das Navier-Stokes-Existenz- und Glattheitsproblem geknackt — eines von sieben Millennium-Preisproblemen, für das das Clay Mathematics Institute jeweils eine Million US-Dollar auslobt. Die Behauptung verbreitete sich schnell. Die Gegenreaktion aktiver Mathematiker verbreitete sich noch schneller. Experten wiesen darauf hin, dass der angebliche Beweis nicht peer-reviewed worden war, dass zentrale Schritte umstritten waren und dass OpenAI die vollständige Herleitung nicht zur unabhängigen Prüfung veröffentlicht hatte. Charmloop berichtete über die ursprüngliche Behauptung und die dadurch ausgelöste Kontroverse, während sie sich entfaltete.\n\nDieser Vorfall scheint der organisierende Moment für den offenen Brief gewesen zu sein. Laut TechCrunch argumentieren die Unterzeichner, dass KI-Labore nicht bloß ehrliche Fehler machen — sie übertreiben Ergebnisse systematisch auf eine Weise, die das öffentliche Verständnis davon verzerrt, was einen mathematischen Beweis ausmacht.\n\n## Wogegen die Mathematiker tatsächlich Einspruch erheben\n\nDas Kernargument des Briefes betrifft epistemische Standards, nicht KI-Skepsis im Allgemeinen. Die Unterzeichner behaupten nicht, KI habe keinen Platz in der Mathematik — mehrere von ihnen nutzen selbst computergestützte Werkzeuge. Der Einwand ist enger und schärfer: Wenn ein Labor ein „gelöstes" Problem ankündigt, ohne einen peer-reviewten Beweis vorzulegen, borgt es sich das Ansehen der Mathematik, umgeht dabei aber den Verifikationsprozess, der mathematischen Ergebnissen ihre Bedeutung verleiht.\n\nFür Forscher sind die praktischen Konsequenzen real. Förderausschüsse und Hochschulverwaltungen zitieren zunehmend KI-Fähigkeitsankündigungen, wenn sie entscheiden, wohin Ressourcen fließen sollen. Wenn KI als Löser von Problemen wahrgenommen wird, an denen ganze Fachbereiche arbeiten, beeinflusst diese Wahrnehmung — selbst wenn sie falsch ist — Einstellungen, Förderungen und das öffentliche Argument für die Unterstützung menschlicher mathematischer Forschung.\n\n> „Die Integrität der Mathematik hängt vom Beweis ab, nicht von der Proklamation."\n>\n> — Unterzeichner des offenen Briefes, wie von TechCrunch berichtet\n\n## Warum dies über die Wissenschaft hinaus von Bedeutung ist\n\nFür KI-Kunstschaffende mag dieser Streit weit entfernt wirken, doch er verweist auf ein strukturelles Problem, das jeden Bereich des KI-Ökosystems betrifft: die Lücke zwischen dem, was Anbieter ankündigen, und dem, was tatsächlich validiert wurde. Dieselbe Dynamik zeigt sich bei der Bildgenerierung — Behauptungen über Fotorealismus, Prompt-Treue oder stilistische Genauigkeit überholen regelmäßig das, was unabhängige Tests bestätigen. Wenn Labore die Bedingungen ihrer eigenen Erfolgsmetriken festlegen, müssen Nutzer und Schaffende ihre Erwartungen an Marketingtexten statt an reproduzierbaren Benchmarks ausrichten.\n\nDer Brief der Mathematiker ist ungewöhnlich, weil er aus einem Fachgebiet mit ungewöhnlich klaren Erfolgskriterien stammt. Ein Beweis hält der Prüfung stand oder nicht. Die meisten KI-Fähigkeitsbereiche — kreative Ausgabe, Qualität des Denkens, künstlerische Kohärenz — entbehren dieser Klarheit, was es schwieriger macht, übertriebene Anbieterbehauptungen anzufechten, und leichter, sie aufrechtzuerhalten.\n\n## Wie unabhängige Verifikation in der Praxis aussieht\n\nDas Clay Mathematics Institute, das die Millennium-Preise verwaltet, hat seinen eigenen Prüfprozess: Eine vorgeschlagene Lösung muss in einer peer-reviewten Fachzeitschrift veröffentlicht werden und dann zwei Jahre lang der Prüfung durch Experten standhalten, bevor ein Preis vergeben wird. Kein KI-generierter Beweis hat für eines der sieben Probleme diesen Prozess durchlaufen. Das ist die Zahl, auf die es ankommt — und sie ist diejenige, die unter Ankündigungsschlagzeilen begraben zu werden pflegt.\n\nFür Schaffende, die KI-Werkzeuge bewerten — sei es für die Bildgenerierung oder andere Anwendungen — ist der Widerspruch der Mathematiker eine nützliche Erinnerung daran, über Markteinführungsankündigungen hinauszublicken und zu fragen, was von Parteien ohne Eigeninteresse am Ergebnis getestet, repliziert und verifiziert wurde. Der offene Brief mag den Streit nicht beilegen, aber er hat eine öffentliche Rechenschaftspflicht erzwungen, der sich die KI-Industrie von einer Gemeinschaft mit diesem technischen Ansehen nur selten gegenübersieht.