陶哲軒表示，真正的突破不僅僅是 AI 解決厄爾多斯問題，而是它如何一次又一次地重寫論文。 但除了解決方案，陶還強調了一些更深刻的東西：AI 驅動的寫作–重寫循環在數學表述中的出現。 通過結合 ChatGPT 和亞里士多德（Lean 形式化工具）等工具，AI 用戶不僅共同產出了證明，還包括多個完整論文的草稿，這些草稿包含自然語言解釋、歷史背景和文獻連結。 這種快速的數學敘事模式在傳統工具下通常是不可能的，現在卻成為現實。