#陶哲轩

陶哲轩把批量产出的 AI 证明称作「有毒废料」

在其创办的 SAIR 基金会播客中，陶哲轩与新科菲尔兹奖得主邓煜对谈 AI 与数学：批量证明缺的是理解与溯源，解法是改激励而非拒工具。本文梳理对谈要点与可操作的判断框架。