作者spen2005 (乡民)
看板Stock
标题[情报] Anthropic AI 证伪雅可比猜想
时间Mon Jul 20 20:27:54 2026
Anthropic 研究员、数论学家 Levent Alpöge 在 X 上宣布，Anthropic 的 Claude
Fable 5 找到了雅可比猜想的反例，并且已经被迅速验证。
---
"hello there the jacobian conjecture is false thanx to my close friend akhil
for asking about it and my other close friend fable for working during the
world cup final"
"雅可比猜想是错的，多亏了我的朋友akhil问起这件事，还有我的另一位朋友Fable，在
世界盃决赛期间还在忙这个。"
---
雅可比猜想是 1939 年提出的经典数学难题，已经困扰数学界超过 80 年，它也和
Dixmier 猜想、Poisson 猜想、Weyl algebra 等重要问题密切相关，因此这个结果会连
带改变数学家对多项式映射、代数几何与非交换代数的理解。
AI已经开始在数学前沿独立做出贡献，而这只是刚开始。随着形式化验证的成熟，加上持
续成长的AI模型，算力或许才是真正的瓶颈，期待未来能看到AI解决更困难的问题。
连结：
https://x.com/__alpoge__/status/2079028340955197566?s=20
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.16.175 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Stock/M.1784550477.A.C5D.html
1F：推 fatpig87 : 跟我想的一样 07/20 20:29
2F：→ strlen : 那波可比呢 07/20 20:30
3F：推 aza0290 : 原来如此 07/20 20:30
4F：嘘 fifa186 : 所以那里错了？验证细部结果是啥？全都没说 07/20 20:30
5F：推 WSJ8964 : 坐等2维也被搞定 07/20 20:30
6F：推 poeoe : AI在数学上逐步超越人类了 07/20 20:31
7F：推 pponywong : 他就说找到反例了 07/20 20:31
8F：→ a71085 : 有兴趣的会自己去找吧 至於数学研究这种东西九成九 07/20 20:34
9F：→ a71085 : 的人都看不懂也没必要放在新闻里了 07/20 20:34
10F：→ spen2005 : 三维以上都错了 07/20 20:36
11F：推 soome : AI什麽时候能发明永动机 07/20 20:36
12F：推 Obama19 : Vibe proofing 时代要开始了吗 07/20 20:39
13F：推 offstage : 所以明天股票涨还是跌？ 07/20 20:40
14F：→ RedLover1009: 他的证伪真的是证伪吗？还是只是AI自认为的证伪？ 07/20 20:45
15F：推 poeoe : 还搞不懂AI有多强的 来看这件事就知道了 07/20 20:48
16F：推 robert000 : 皮克敏呢 07/20 20:49
17F：推 smalmal : 最近还蛮多例子的 不管是物理或数学 07/20 20:50
18F：推 WSJ8964 : 你只要会偏微分跟算行列式，你也可以验证他给的反 07/20 20:50
19F：→ WSJ8964 : 例是不是对的 07/20 20:50
20F：推 tomdavis : 假抠比猜想 07/20 20:52
21F：推 ebiebibbNOOB: 牢大猜想 07/20 20:53
22F：→ Feting : 正伪只要找到反例就够了 07/20 20:58
23F：推 hyperyoujo : 公司的扫地阿姨出来宣称证伪了大家会信，才能说是A 07/20 21:06
24F：→ hyperyoujo : I超越人类吧，否则AI证任何东西都还是要一位高等数 07/20 21:06
25F：→ hyperyoujo : 学研究者、还是顶尖的那种出来讲那都还差得很远 07/20 21:06
26F：→ onekoni : 皮克敏猜想 猜猜种出什麽 07/20 21:06
27F：→ hyperyoujo : 代表就是找到了一个反例，结果反例也不是一般人能 07/20 21:08
28F：→ hyperyoujo : 很简单的论证AI说的是对的、或者没有人类去担保没 07/20 21:08
29F：→ hyperyoujo : 人愿意相信就代表AI还没超越人类 07/20 21:08
30F：推 poeoe : 人类证不出来的东西 AI能证出来 就是AI超越人类啊 07/20 21:08
31F：→ hyperyoujo : 我用计算机按出高斯积分结果，或是用电脑算出来， 07/20 21:09
32F：→ hyperyoujo : 绝大多数人都会相信我按出来的结果是对的，即便没 07/20 21:09
33F：→ hyperyoujo : 受过高等教育的人也会信，这才叫做电脑超越人类 07/20 21:09
34F：→ hyperyoujo : @poeoe 看来你听不懂我的逻辑，那个不叫AI超越人类 07/20 21:10
35F：→ hyperyoujo : 叫做AI辅助人类 07/20 21:10
36F：→ sevikar : 那记忆体，被动元件的周期性问题要如何证伪？ 07/20 21:10
37F：→ hyperyoujo : 只有AI能普遍靠自己说服多数人它是对的才叫超越人 07/20 21:11
38F：→ hyperyoujo : 类，目前的AI只要没有人类过一遍它的证明并用人类 07/20 21:11
39F：→ hyperyoujo : 的信誉担保，没人会信，这不叫超越 07/20 21:11
40F：→ spen2005 : hyperyoujo 了解一下形式化证明 07/20 21:13
41F：推 poeoe : 一般没受过教育的大众相不相信都不重要 AI现在就是 07/20 21:13
42F：→ poeoe : 能证明人类不能证明的事 那就是超越人类了 07/20 21:13
43F：→ fallinlove15: 跟我想的差不多 07/20 21:13
44F：→ poeoe : 中古时代的大众还相信是地球是平的咧 事实跟多少人 07/20 21:14
45F：→ poeoe : 相信没有任何关系 07/20 21:14
47F：推 lc85301 : 找到反例就证伪了 07/20 21:17
48F：推 kingblackman: 我只知道维士比 07/20 21:18
49F：推 birdjack : 问题是所谓的AI超越人类跟你们想的不一样 07/20 21:18
50F：→ birdjack : 真相是AI+人类超越单纯人类 07/20 21:18
51F：→ y598763 : 可以看看这个 AI超越人类的地方是他会综合使用所有 07/20 21:19
52F：→ y598763 : 的工具 但人类不可能一次善用各种工具 但人类也不 07/20 21:19
53F：→ y598763 : 是一无是处 如果要AI从0开始想相对论应该就没办法 07/20 21:19
54F：→ y598763 : 这种全新的架构问题 07/20 21:19
55F：→ birdjack : 但现在为了话题性就要省略成AI全自动超越人类 07/20 21:19
56F：嘘 hyperyoujo : @spen2005 形式化证明跟AI能独立证明是两件不同事 07/20 21:22
57F：→ hyperyoujo : 情，不可混淆 07/20 21:22
58F：推 Informatik : 跟我想的一样 07/20 21:24
59F：→ hyperyoujo : 数学界看待这些AI tools我建议外行的去好歹去看一 07/20 21:25
60F：→ hyperyoujo : 下Terence Tao的演讲，这是股板我知道大家还是倾向 07/20 21:25
61F：→ hyperyoujo : 看乐观面，但正确的理解才能把握基本面跟预期 07/20 21:25
62F：→ hyperyoujo : 数学界有一种说法是本来很重要的证明AI能证後，这 07/20 21:28
63F：→ hyperyoujo : 些证明可能变得没那麽重要，这让数学家转而能花时 07/20 21:28
64F：→ hyperyoujo : 间去做更有意义的事，这就好像计算机出来前的各种 07/20 21:28
65F：→ hyperyoujo : 快速计算数字的公式现在意义也变小了一样 07/20 21:28
66F：→ hyperyoujo : 人类就厉害在这种转换思维，我们会主动去找有意义 07/20 21:28
67F：→ hyperyoujo : 的问题 07/20 21:28
68F：→ Altair : 困难度不够的 都不再需要人类了 QQ 07/20 21:31
69F：→ AbianMa19 : 跟我想的差不多 07/20 21:33
70F：→ guanting886 : AI工具就是另一种形式的天择 资讯差被辗平後 原本 07/20 21:35
71F：→ guanting886 : 所谓的专家就是被迫脱离舒适圈重新学习 07/20 21:35
72F：推 a069275235 : 闲聊早说过了 闲聊厉害多了 07/20 21:36
73F：→ guanting886 : 你这个过程可能可以激荡出更多以前没想过 或是当年 07/20 21:36
74F：→ guanting886 : 遗憾做不到的事情 07/20 21:36
75F：推 guanting886 : 但也有可能你拿到这个工具後 别人比你还快找到或做 07/20 21:39
76F：→ guanting886 : 到你正要做的事物 竞争会变超级快 07/20 21:39
77F：推 helmsley : 确定有反例就证明结束了 07/20 21:44
78F：推 offstage : 就像古时候体力活看劳工体能，有的自动机具之後比的 07/20 21:46
79F：→ offstage : 就是技巧跟想法。 07/20 21:46
80F：推 js0431 : 科比是小飞侠 07/20 21:49
81F：→ karcher : 空间传送看来不可行了 07/20 22:22
82F：→ karcher : 要拉到复数空间才有机会 呜呜 07/20 22:23
83F：→ MoneyDay5566: 跟我想的一样 07/20 22:27
84F：推 KingIphis : 恭喜 07/20 23:09
85F：推 NetsFan : 我问gemini 他说是假的！ 07/20 23:41
86F：→ NetsFan : 可是後来叫他查证又说是真的xd 07/20 23:43
87F：推 dagehoya5566: 想你了老大 07/21 02:12
88F：嘘 checkmarx : 虾吹强 日常生活都办不到 07/21 06:49
89F：→ zzzxxxqqq : 这很难假啦 验算就结束了 07/21 10:44
90F：推 takanasiyaya: 还在差的远的根本不认识数学界，纯数学界已经因为好 07/21 12:21
91F：→ takanasiyaya: 几个猜想被AI证伪现在头抱着烧好吗？没听过那只是你 07/21 12:21
92F：→ takanasiyaya: 不认识数学。数学教授现在已经是怕AI证明的速度超过 07/21 12:21
93F：→ takanasiyaya: 他们能解读的速度 07/21 12:21
94F：推 yuinghoooo : 最近很多困扰人类多年的数学问题都被AI攻破了没错 07/21 12:40
95F：→ yuinghoooo : 但要说AI取代人类思考还久 07/21 12:40
96F：推 Xanphenir : 打开连结就有AI提出的反例，高中程度的都能自己算 07/21 13:22
97F：→ Xanphenir : 这种就是要证明或证伪很困难，但反例一提出明显到 07/21 13:23
98F：→ Xanphenir : 根本不需要数学家独立验证的东西。 07/21 13:23
99F：推 penolove5566: 嗯嗯 跟我想得差不多 07/21 13:27
100F：推 ericsonzhen : 推文那个没事在跳的是在干嘛？看一看规则 自己画矩 07/22 10:36
101F：→ ericsonzhen : 阵自己算不就知道是对的吗？答案都给你了还在那边 07/22 10:36