返回数学教育

数学教育

陶哲轩
2026-09-09 10:28:47

陶哲轩谈 AI 进入数学研究:像直升机把人送到答案附近

在一场公开对谈中,数学家陶哲轩表示,AI 已开始真正进入顶尖数学家的研究工作流,不再只是查资料或写代码,还在参与研究级数学证明。他以「AI 像直升机,把人空投到答案附近」形容这种变化,同时强调数学的价值不只在于得到答案,更在于理解、解释和把证明纳入人类知识体系。对谈还提到 GPT-5.2 Pro、Aristotle、Lean,以及 AI 在 Sendov 猜想和平面单位距离问题上的最新进展。

160
陶哲轩谈 AI 进入数学研究:像直升机把人送到答案附近
菲尔兹奖
2026-07-24 04:17:08

王虹邓煜同获菲尔兹奖后,清北数学竞逐再被推到台前

7月23日,王虹与邓煜同时获得菲尔兹奖,成为首次在中国本土完成本科学习并获此奖项的数学家。获奖结果公布后,丘成桐在清华公开表示邀请两人回国任教。报道回顾了北大与清华在数学领域数十年的竞争,包括院系调整后的格局变化、围绕学生和教师的争夺,以及双方把战线延伸到 AI 数学研究的新阶段。

30
王虹邓煜同获菲尔兹奖后,清北数学竞逐再被推到台前