补充一个声明背后最冰冷的历史细节：
签署这份联合声明的 25 位数学家，几乎涵盖了半个世纪以来微分几何、数论、代数拓扑和偏微分方程的开山鼻祖（包括陶哲轩、Peter Scholze、June Huh 等）。
他们中的绝大多数人（尤其是陶哲轩自己），本身就是 Lean 形式化证明和 AI 辅助科研的最狂热拥护者与实践者。

他们反对的从来不是“AI 辅助数学”，
而是反对“AI 巨头为了股价和公关，把未公开的研究方向当成截胡抢跑的目标，把概念的探索变成机器的暴力强攻”。
大家觉得在 AI 时代，如果一门学科只剩下“机器给出的正确答案”，而全人类没有一个人能理解其中的逻辑，这究竟算文明的飞跃，还是人类理性的脑死亡？评论区聊聊看。