20 Oktober 2026 erschienen in der neuesten arXiv-Liste Arbeiten, in denen Mathematiker direkt auf die Hilfe von Modellen wie ChatGPT-6 Astra hinweisen.
Darunter befindet sich ein Beweis der Erdős-Szemerédi-Vermutung über Sonnenblumen für jedes k ≥ 3. Die Autoren betonen, dass gerade ChatGPT-6 Astra Pro das zentrale Theorem gefunden habe.
Zuvor war nur der Fall k = 3 bekannt, der im Jahr 2016 dank des Durchbruchs mit cap-set erzielt wurde. Nun wird eine ausdrückliche Verbesserung angekündigt: Die Größe einer Familie ohne k-Sonnenblume ist durch einen Wert kleiner als 2^n beschränkt.
In derselben Liste finden sich weitere Ergebnisse unter Beteiligung von KI: eine Abschätzung für die Borodin-Kostochka-Vermutung, eine Verbesserung der Lösungszeit für Aufgaben der ganzzahligen Programmierung und Gegenbeispiele zur Arveson-Vermutung im kommutativen Fall.
Viele Autoren schreiben, das Modell habe entscheidende Schritte oder vollständige Beweise vorgeschlagen, während die Menschen sie überprüften und ausarbeiteten. Einigen Arbeiten sind Hinweise auf Lean-Prüfungen beigefügt, obwohl die Dateien bisher nicht veröffentlicht wurden.
Alle angekündigten Ergebnisse warten auf eine unabhängige Begutachtung. Vorerst bleiben sie im Status „Prüfung ausstehend“.
