吴成镇（Sung-Jin Oh）：何为数学“理解”

上周 OpenAI 甩出个大新闻，说内部模型解开了三百多个公开数学难题。我一看傻眼了——里面就有我和合作者死磕了十三年的课题。巧的是，几天后陶哲轩在讲座里提了个“数学 2.0”的构想。他特别强调，未来数学的核心得是“人类的理解”。这话直接把我问住了：到底啥才是理解？我自己琢磨下来，发现它根本不是背公式。说白了，就是把海量知识压缩成一张网。遇到新题先快速分诊，再找薄弱点死磕。但这玩意儿没法外包，就像顶尖棋手看棋盘，光看 AI 的落子变不成高手，必须自己下场复盘。所以面对那个号称破解了我课题的证明，我压根没急着喊牛。答案只是一部分，通往答案的路才决定它能给领域留下啥。我现在正组织读书小组去拆它，毕竟解题只是手段，真正要紧的是咱得保持独立判断的底气。

原标题：《吴成镇（Sung-Jin Oh）：何为数学“理解”》

阅读原文