资讯

Terence Tao: AI companies are harming mathematics

New Scientist·2026/9/9 16:23:45🔗 原文

📋总体概括

著名数学家陶哲轩公开批评AI公司正在损害数学发展。他指出AI企业虽然快速产出新的数学发现和证明,但不留下来帮助数学界消化、验证和理解这些新证明。陶哲轩认为,数学的进步不仅在于发现结果,更在于深入理解证明过程,AI公司急功近利的做法无助于人类对数学知识的真正掌握,这一观点引发对AI与基础科学关系的反思。

关键信息

  • 数学家陶哲轩公开表示,AI公司正在损害数学学科的发展。
  • AI公司正以快速节奏产出新的数学发现和证明。
  • 核心问题是AI企业不愿留下来帮助数学界剖析和消化这些新证明。
  • 陶哲轩认为这种模式无助于加深人类对数学的理解。

🔥犀利点评

陶哲轩点破了一个被流量叙事掩盖的真相:数学的价值在于理解而非发现本身。AI公司把证明当KPI,刷完成果就走,留下数学界面对一堆无人能看懂的机器产物。如果证明无法被人消化,它就不是知识,只是算力的副产品。这场批评本质是对AI界「重产出、轻积淀」文化的宣战,基础学科的尊严不能沦为演示Demo。

本文由本站自动聚合,以下为原始来源:前往 New Scientist 阅读全文