陶哲轩：AI是直升机，把我空投到数学答案附近

听雨发自凹非寺量子位 | 公众号 QbitAI 上台前最后一分钟，陶哲轩还在用 AI 捣鼓数学证明。 2026 年前沿与先锋研讨会的后台，主持人 Ken Ono（小野健）路过，瞥了一眼他的屏幕，随口问了句：还在做数学呢？陶哲轩头也没抬：嗯，刚让我的 Agent 生成了一份 19 页的证明。这份证