陶哲轩博客客座文《After Math》：AI 给了「答案」，不等于给了可理解的数学「解」
Silvia De Toffoli 与 Eamon Duede 在陶哲轩博客发文，区分逻辑可核验证明与可理解证明，反驳「数学已被 AI 解决」叙事。
菲尔兹奖得主陶哲轩（Terence Tao）博客刊出 Silvia De Toffoli 与 Eamon Duede 的客座文章 After Math。文章回应 OpenAI 宣布用 AI 产出纳维–斯托克斯相关结果后的舆论，指出「给出答案」与「给出数学共同体可用的解」不是一回事。
作者区分两种证明观：可被机器机械核验的逻辑证明（如 Lean 形式化），以及数学家需要的、能把握思想并推动后续研究的可理解证明。他们论证 AI 可能使二者剧烈分离；即便未来 AI 能同时给出两者，把数学等同于解题竞赛仍是误读——数学还包括概念创造、理论统一、共同体培育与美学价值等目标。
文末呼应近期多位菲尔兹奖得主关于「AI 与数学目标严重错位」的声明，主张把 AI 当作服务人类数学目标的技术，而非「打败数学家」的对手。