推文

@guansi · 2026-10-14 18:03

OpenAI一口气公布了涉及722道数学问题的AI研究成果，引起了数学界不小的争议。 我当然支持AI攻克数学难题，甚至巴不得它早点把人类解决不了的问题全解决了。但OpenAI这次的处理方式，总让我觉得有点不太地道，缺乏对数学和数学家的尊重。 这让我想起了2016年，谷歌的AlphaGo挑战世界顶尖围棋选手李世石。 当时谷歌完全可以让李世石对着电脑屏幕下棋，但他们没有，而是专门安排了一名研究员黄士杰，坐在李世石对面，代替AlphaGo落子。 AlphaGo负责思考，黄士杰负责把棋子落在棋盘上。整场比赛依然保持着传统围棋对弈的形式。 我印象特别深的是，黄士杰在比赛中长时间端坐在棋盘前，认真完成每一步落子。我记得还有他连续几个小时不喝水、不上厕所的说法，不过这个细节我没有核实。 这个安排给我的感觉很好。 谷歌明明是在用AI挑战人类最顶尖的棋手，却依然保留了围棋比赛的仪式感，也给了对手充分的尊重。 最后AlphaGo以4:1战胜李世石。人类输了，但围棋没有输。相反，这场比赛让全世界重新认识了围棋。 再回头看OpenAI这次的数学成果，虽然722道问题究竟解决到了什么程度，还需要逐一核实，但这种大规模公布成果的方式，确实容易给人一种AI正在批量收割数学难题的感觉。 数学家几十年研究的问题，突然成了展示模型能力的成绩单。 我觉得AI解决数学问题当然是好事，而且是天大的好事。但数学不是刷榜，数学家也不是等待AI打败的游戏NPC。 真正值得尊重的，不是数学家的面子，而是数学这门学科几百年来建立的严谨传统。 AI可以超越人类数学家，但成果该证明的证明，该验证的验证，该接受同行质疑的接受质疑。 谷歌当年用一场正式的围棋比赛，让全世界见证了AI超越人类的历史时刻。 我希望有一天，AI在数学上的突破，也能成为这样一个让人类共同兴奋的时刻。

曝光 343 · 评论 3 · 点赞 1 · 书签 0 · 曝光/时 191.2495538366258