2026年10月中旬，一个困扰数学界30多年的世界级难题，三维Ghys猜想宣告破解。这次不是OpenAI，是中国团队。这是中国大模型第一次在纯数学顶级难题上走完从猜想到验证的全链条。上海人工智能实验室访问学者、大湾区大学教授许地生团队，基于书生科学多模态大模型S2，通过人机协同完成了三维Ghys猜想的证明；北京大学董彬教授、刘若川院士团队，用他们开发的SHEAF框架对这份证明做了形式化验证，把每一步都验成机器可复核的铁证。所谓人机协同，说白了是分工：AI在巨大的可能性空间里高速找路，人判断哪条路值得走、方向对不对，最后机器再把证明的每个环节钉死。此前OpenAI也宣布过自家模型攻下多个世界级数学难题，数学界一直有争论，这次终于轮到中国团队站到台前。

我觉得，这件事最该被看见的不是「AI会做数学了」，是数学这门最讲「人对」的学问，第一次被逼着回答「谁来确认AI说的对不对」。OpenAI 10月17日一口气在GitHub放了722篇数学论文，其中约22%附带Lean证明代码；《经济学人》的说法是，AI生成证明的速度已经快过专家理解和验证的速度，学术期刊正被AI写的投稿淹没。OpenAI自己还掏了500万美元，请数学家来帮忙验算它的产出。当结论可以廉价地批量生产，稀缺的就不再是「想出答案」，而是「确认答案对不对」。中国这次的价值，是把「AI找路、人定方向、机器验算」这条链路跑通了一次，从应用层卷到了基础科学层。真正的对标，不在发布会，在能不能交出一份别人挑不出错的证明，这比跑分有意义。AI全模态模型 AI数学天才 AI数学测评 AI数学证明 AI颠覆数学