Terence Tao sagt, dass der eigentliche Durchbruch nicht nur darin besteht, dass KI Erdős-Probleme löst. Es ist, wie sie das Papier immer wieder umschreibt. Aber über die Lösung hinaus hebt Tao etwas Tieferes hervor: das Aufkommen von KI-gestützten Schreib- und Umschreibzyklen für mathematische Exposition. Durch eine Kombination von Werkzeugen wie ChatGPT und Aristoteles (Lean-Formalizer) haben KI-Nutzer nicht nur den Beweis, sondern auch mehrere Entwürfe eines vollständigen Papiers erstellt, einschließlich Erklärungen in natürlicher Sprache, historischer Einordnung und Verbindungen zur Literatur. Diese neue Art des schnellen mathematischen Erzählens, die mit traditionellen Werkzeugen routinemäßig unmöglich war, ist jetzt Realität.