01
喂给它那个时代的全部论文、全部数据集、全部方程。
然后问它一个问题：你能发明广义相对论吗？
答案是，不能
问题出在结构：它根本不会那种动作，算力和数据都补不上这块缺口。
这番判断来自Tom Zahavy，Google DeepMind Discovery团队联合负责人，AlphaProof的核心贡献者，就是那个在国际数学奥林匹克上拿到银牌级表现、让整个数学圈震动的系统。
一个亲手把AI推理能力推到天花板的人，转过身写了一篇论文，标题四个字砸下来：LLMs can't jump。
大模型，跳不起来
▲ 论文PDF首页，标题 LLMs can't jump，日期2026年1月27日，作者署名 Google DeepMind
发现包含三种动作
这篇论文的起点，是爱因斯坦写给友人Maurice Solovine的一封信。
信里画了一张小循环图：从感官经验（E）出发，经过一条非逻辑的弧线“跳跃”（J）到达公理系统（A），再从公理演绎出定理，拿回经验里核对。
如此往复
▲ Zahavy个人项目页上的E–J–A示意图：经验→跳跃→公理→演绎→回到经验
0
评论 (0)