那个被搁在了31年的时间里的世界级数学难题, 终于让大家看到了被解决的成果。负责把核心部分求解出来的人, 竟然是一个国产的大模型。到了2026年的10月中旬的时候, 上海人工智能实验室正式对外公布了关于三维吉斯猜想的完整证明内容。这一消息公布之后, 立刻在国内外学术界引发了非常大的轰动效应。
三维吉斯猜想为何卡了三十二年
从二维到三维的断崖难度
在吉斯一九九五年的那篇论文里, 他是顺手就把二维复曲面的那个结论给证明了, 所以学术界那时候就笃定地认为, 要把这个结论推广到高维的情况去, 其实不过是顺水推舟那样容易的一回事。
可是, 一旦跨度到了三维上面之后, 这个难度它就突然发生了断崖式的增长, 大幅度地变难了, 于是这一道题目就这样直接被搁置起来了，一直持续了三十一年的时间都没有得到解决。
奇异结构让老工具全部失灵
三维空间呈现出了一种极为复杂的情形, 在那里大量不符合常理的非标准奇异复结构凭空出现, 这导致以往在二维时代里百试不爽的那些数学工具全都失去了应有的效力, 变得毫无用处可言, 这种状况已经持续了整整31年的时间, 无数学者不得不在这漫长的岁月里逐个对这些外形古怪、姿态万千的结构进行逐一排查与排除, 从而将这一过程变成了一个让他们感到无比的痛苦和无助的梦靥难题。
国产大模型首次解决纯数学猜想
书生S2跻身顶级数学天团
这是中国本土研发的大模型, 首次实现了实质性突破, 解决了那个在世界范围内公开的数学猜想。这一事件标志着国产人工智能, 正式跨过了那种只适合做奥数题的阶段。它加入了这个行列, 去拓宽人类知识的边界。
内部评测与Gemini平起平坐
实验室的内部数据显示, 书生S2在国际数学奥赛证明基准以及高等数学测试这类需要严密逐步推导的场景里, 表现已经和谷歌Gemini 3.1专业版完全持平了。
人机七轮接力跑通证明
大模型承担组合爆炸式检验
在进行每一轮循环的过程里, 书生S2会迅速地对海量文献进行梳理。他会把主命题拆解为子命题。接着, 他会在多个分支上同步展开探索活动。此外, 他还要承担起数千页推导的组合爆炸式计算重任。
人类把控战略方向不迷路
面对机器生成的数十种不一样的数学路径，许地生跟张洁松靠着顶尖的战略直觉把控了航向, 从而防止搜索在死胡同里面把算力给耗尽掉, 到了第七轮的时候, 证明节点从15个增加到了389个。
五十五万行代码封死逻辑漏洞
北大团队地毯式形式化验证
北大团队由董彬教授以及刘若川院士担任主要领导者。该团队在研究中使用了Lean这一第4代证明器工具。同时, 他们还结合了自身研发的复动力系统层框架。利用这些技术手段, 团队对4个核心主定理进行了验证工作。这项工作最终生成了超过55万行的代码内容。
考拉兹事件敲响系统安全警钟
到了2026年年初, 有个人拿Lean这个工具去证明考拉兹猜想不对头, 不过后来被人发现这人其实是钻了内核程序漏洞的空子。到现在为止, 那55万行代码里头还没查出什么异常, 逻辑链条看着是完全对得上的。
全球首个复动力系统形式化基础库
从零起步搭建数字地基
过去复动力系统理论在Lean里面是完全空白的, 没有任何现成的数字化基础设施。由北大团队在验证过程中构建出的层框架, 已经成为全球范围内第一个经过计算机严格验证的该领域基础库。
全球数学家皆可独立复现
任何安装了lean version 4版本的数学家, 目前只需要依赖于一台现代计算机工作台设备, 就可以执行代码下载动作并自行开展编译运行操作, 从而亲手对北大团队所产出的全部结论进行验证, 整个验证过程保持全开放状态并且实现完全透明化。
从纯数学迈向多领域科学发现
许地生看到深层推理潜力
来自大湾区大学理学院的教授许地生, 他由此察觉到了那款国产大模型, 在深层数学推理方面有着被很多人忽视的巨大潜力。关于复动力系统这个研究领域, 他一直以来都在进行非常深入的钻研和思考。并且在他之前, 就已经和自家的博士生张洁松合作, 共同拿下了具有一定参考价值的阶段性科研成果。
书生端言平台将连接四大领域
上海人工智能实验室这边宣布, 要把支撑系统、人机迭代还有形式化验证流水线, 这些内容全都打包进书生·端言科学发现平台里面去, 以此来连接生命科学设备, 以及材料科学设备, 同时还会连接量子计算设备。
大家觉得国产人工智能在接下来的一段时间里, 会首先解决掉哪个领域的公开难题吗? 欢迎做出点赞动作, 并且将信息转发出去, 然后在评论的区域里面说出你自己的判断结果。
