陶哲轩与邓煜对谈：AI 数学成果是“有毒废料”，理解与溯源比解题更重要

陶哲轩与今年新晋菲尔兹奖得主邓煜在 SAIR Foundation 播客对谈中，将 AI 与数学之争从“能否解题”推进到“谁来理解、如何溯源”。陶哲轩称批量解题产出的成果是“有毒废料”，并指出 OpenAI 发布的 722 篇预印本中经 Lean 形式化验证的比例仅约 22%。两人主张 AI 成果须附带理解、解释与可追溯引用才能进入数学文献，数学家应事前参与而非事后收拾残局。