陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神

TL;DR - Twenty-five Fields Medalists, including Terence Tao and Yu Deng, warn that AI companies’ benchmark-driven pursuit of solving major mathematical problems is misaligned with mathematics’ goals of conceptual understanding, method development, and knowledge transmission. They seek urgent governance and research norms rather than a halt to AI-assisted mathematics.

• AI may now solve open problems faster than mathematicians can verify, explain, connect, and incorporate the results into established knowledge.
• The statement raises concerns about premature announcements, inadequate attribution, possible use of researchers’ prompts or unpublished ideas, and unclear authorship.
• Large-scale agentic search could exhaust valuable open problems without generating equally meaningful new questions or reusable insights.
• The signatories warn that answer-first systems may weaken mathematical training, open collaboration, and the human process that turns proofs into teachable knowledge.