AI 能证数学，人类却不懂？

Automation Without Understanding

人工智能系统已开始产出真正的研究级数学成果，而美国却在削弱培养能理解这些系统的人类人才管道。文章指出，这种‘自动化却无理解’的趋势是一个战略错误。数学能力并非定理生产的副产品，而是需要几代人通过机构建设的基础设施，无法按需重建。作者以2026年5月AI推翻Erdős猜想为例，呼吁将数学能力视为与半导体能力同等重要的战略资产，并建议要求AI在关键推理中暴露其决策核心主张，以形式化、机器可验证的方式呈现，将不透明的说服转化为可审计的结构。

"数学能力并非定理生产的副产品，而是需要几代人通过机构建设的基础设施，无法按需重建。"