AI Agent最近在数学上的进展
变革与误判
今年夏天,丘成桐接受采访时表示:大语言模型拿到IMO金牌有什么稀奇,一个中学生不也能拿到;至于埃尔德什问的一千多个问题,大多是组合,不算是数学的重要分支,我不在乎;如果大语言模型能解决希尔伯特问题或者克雷问题中的任何一个,我都会很惊讶。
当AI Agent解决纳维-斯托克斯问题(2026.09.08),以及OpenAI放出七百多个问题证明过程(2026.10.06)后,丘成桐紧急成立新数学中心(2026.10.11),承认自己误判了AI的能力,并且说OpenAI不给咱们用,咱们要搞自己的。
这两次,OpenAI依然选择了GitHub发布。和2025年夏天无人问津(仅439个star)的IMO金牌发布仓库不同,这俩已经分别收获了2.1k和14.9k个星星。
对于那几百个问题,数学家Frank Calegari两天后就写了一下科普和自己的看法(2026.10.08),可谓勤政。值得一读。