陶哲轩谈 AI 数学证明:想法漂亮,却无人可答疑问、带学生

orvieto_antonio · x · 2026-10-11

数学家 Terence Tao 对近期 AI 生成的数学证明表达了「非常复杂矛盾」的感受：一方面，这些证明常包含巧妙的新想法，消化后或有成果，也建立在前人工作之上；另一方面，与人类传统突破截然不同，这些证明背后没有任何人类参与者可以答疑、做报告、参会、投稿或培养学生。

他的挫败在于：数学共同体的传承与发展机制被「无人可问」的证明切断了。多位学界人士（如 TaliaRinger）转发表示共鸣。原文更完整的段落还提到他对「社区能否参与后续发展」的期待，整体反映顶尖数学界对 AI 科研范式的真实纠结。