陶哲轩:AI 让证明变廉价,数学家的新工作是想象力
burny_tech · x · 2026-10-12
数学家陶哲轩(AI 时代数学议题上的代表性发声者)提出,AI 使证明变得廉价,数学家的角色需要转变。他给出五个方向:
- 建设 Mathlib 这类数学形式化库
- 用 AI 探索新方法,而不只是找证明
- 把定理拆解精简,检验其是否仍然成立,并探索相邻领域
- 撰写把各结果串联起来的教材
- 研究 AI 在何处失败
他的结论是:真正的瓶颈不再是证明,而是想象力。
「漫话AGI」频道最新
- 投资人预测：2027 年个人 Agent 爆发将倒逼 AI 客服普及 — neal_lathia · 2026-10-12
- 少数重度用户吃掉绝大多数token：AI使用呈倒金字塔 — sinclairx · 2026-10-12
- 「有感知超智能」假说：能共情的ASI才在乎人类存亡 — cccalum · 2026-10-12
- 又一个文学奖得主疑似 AI 生成：Caine Prize 获奖短篇引质疑 — Puzzleheaded-King584 · 2026-10-12
- AlphaProof Nexus 攻克 9 个 Erdős 难题,成果登 Science — Hesamation · 2026-10-12
- 数学家十条论断:AI 数学进步惊人,但理解无法外包给机器 — JFPuget · 2026-10-12