陶哲轩表示，真正的突破不仅仅是人工智能解决厄尔德什问题。更在于它如何一次又一次地重写论文。 但除了解决方案，陶还强调了更深刻的东西：人工智能驱动的数学阐述的写作–重写循环的出现。 通过结合像ChatGPT和亚里士多德（Lean形式化工具）这样的工具，人工智能用户不仅合作产生了证明，还包括自然语言解释、历史背景和文献联系的完整论文的多个草稿。 这种通过传统工具常常无法实现的快速数学叙事的新模式现在已经成为现实。