Meta研究者称AI数学将让人类数学边缘化

2026年9月30日，AGI Hunt 报道，Meta AI 研究科学家 François Fleuret 提出，AI 数学之于人类数学，将如同 CPU 每秒十亿次算术运算之于笔算，人类数学会被彻底边缘化。他认为，要求 AI 数学成果对人类可解释只是一种「可理解性税」，并不现实。基于此，他主张把重点转向机器可验证的形式化基础设施：推动 lean proofs 的标准化与开放性，并强化、多样化 Lean 验证器等工具链。目前这些说法均为其个人主张，报道中未提及其它机构的回应或后续动作。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。