作者error405 (流河=L)
看板AI_Art
标题Fw: [新闻] 数学界天翻地覆，代数几何 87 年悬案「
时间Thu Jul 23 11:51:52 2026
※ [本文转录自 Gossiping 看板 #1gO0zyTi ]
作者: KotoriCute (乙醯胺酚) 看板: Gossiping
标题: [新闻] 数学界天翻地覆，代数几何 87 年悬案「
时间: Wed Jul 22 08:31:54 2026
备注请放最後面 违者新闻文章删除
1.媒体来源:
※ 例如苹果日报、自由时报（请参考版规下方的核准媒体名单）
※ Yahoo、MSN、LINE等非直接官方新闻连结不被允许
科技新报
2.记者署名:
※ 若新闻没有记者名字或编辑名字，请勿张贴，否则会被水桶14天
※ 外电至少要有来源或编辑 如:法新社
Emma stein
3.完整新闻标题:
※ 标题没有完整写出来 ---> 依照板规删除文章
数学界天翻地覆，代数几何 87 年悬案「雅可比猜想」遭 Claude 证伪
4.完整新闻内文:
※ 社论特稿都不能贴！违者删除（政治类水桶3个月)，贴广告也会被删除喔！可详看版规
这一天，数学界发生惊天动地大事，无数顶尖学者 87 年来都无法证明正确性的代数几何难
题「雅可比猜想」——不用证明了，这个猜想本身就是错误，证伪主角甚至还是 AI 模型 C
laude Fable 5。
2026 年 7 月 19 日，世界盃足球赛接近尾声之际，Anthropic 员工暨数学家莱文特·阿尔
波格（Levent Alpöge）在社群软体随手写下一句话与一段简洁数学公式，没有大篇长论、
没有发表论文，就那样轻描淡写指出 Anthropic 大型语言模型 Claude Fable 5 发现「雅
可比猜想（Jacobian conjecture）」在三维空间的明确反例（推翻该猜想 N>2 的情况），
一夜之间超过 2,000 万次浏览。
这条消息为何如此惊人？简单说，该反例让 87 年来试图证明雅可比猜想正确性的顶尖数学
家们沦为笑话。
雅可比猜想是德国数学家奥特-海因里希·凯勒（Ott-Heinrich Keller ）於 1939 年提出
的代数几何核心难题，主张如果一个多元多项式映射的雅可比行列式始终为非零常数，则该
映射整体上是否一定可逆（存在多项式反函数）？
微积分反函数定理告诉我们，如果一个函数在某一点的雅可比行列式不为零，那麽该函数在
该点附近就具有一个局部反函数，因此我们对雅可比猜想的直觉认知是「对」。
更白话一点来说，想像有个规则可以把空间任何一点变到另一个点（也就是映射），而雅可
比猜想主张只要「局部不塌陷」特性（即雅可比行列式始终为非零常数）在整个空间、每一
点都成立，那麽映射全域变换一定可逆，每一个输出点都应恰好对应一个输入点，你永远能
唯一反推——每个终点都只对应一个起点。
然而这道题目陷阱特别多， 87 年来一直没人可完整证明雅可比猜想对或错，历史上已发表
过的「证明雅可比猜想」论文数量极其庞大，最终都被发现存在细微漏洞，雅可比猜想因此
被列入 21 世纪 18 大数学难题清单，更被戏称为数学证明界吸血鬼，吸乾无数聪明、才华
洋溢的年轻数学家精力。
现在这条数学界公认异常难证明的问题，突然就被 Levent Alpoge 和 AI 模型 Claude Fab
le 5 推翻了。
Claude Fable 5 直接抛出一个简洁优雅的反例：
https://i.imgur.com/HGoDHtC.jpeg
设多元多项式函数 F：C3 →C3 为：
https://i.imgur.com/HGoDHtC.jpeg
可验证此多项式映射的雅可比行列式恒等於 -2（非零常数，满足猜想前提），然
而这个函数不是单射，它能将空间中 3 个完全不同的点：（0, 0, -1/4）、（1, -3/2, 13
/2）、（-1, 3/2, 13/2）全映射至同一影像点：（-1/4, 0, 0），因此函数 F 不存在反函
数，根本不可逆。
简单讲，该反例满足「局部不塌陷」条件，却能找到 3 个不同起点全映射到同一终点，「
唯一反推」无法成立（没办法从这个终点唯一反推回起点），广义雅可比猜想就这样被彻底
证伪。
不久之後，GPT-5.6 跟进分析此结果并提出全新修正的猜想；OpenAI 员工也使用内部 Code
x 独立推导出类似反例。
数学天才张益唐被偷走的 7 年
美籍华裔数学家张益唐 2013 年因发表「孪生质数猜想」论文，首次证明存在无穷多对间隙
为有限的质数，才从没没无闻的冷门学者一夕成名，这年他 58 岁，他的过往随即被翻开检
阅。
人们才发现此前几十年，张益唐的经历是场学术悲剧。
1985 年，张益唐前往普渡大学攻读博士学位，大胆挑选雅可比猜想作为毕业论文题目，他
的指导教授莫宗坚（美籍华裔代数几何学家）本身也是雅可比猜想研究学者。
莫宗坚给张益唐一条自己发表过的引理（Lemma）作为证明雅可比猜想方向，结果命运开了
个残酷玩笑，同行评审发现这条引理根本错误，张益唐的证明之路不只毫无进展，7 年来所
有努力更瞬间瓦解。
莫宗坚讽刺张益唐「能力不适合走代数几何这条路」，还发牢骚说张益唐浪费自己 7 年时
间、拒绝为张写推荐信，最後张益唐因求学期间未发表任何论文、也没有指导教授支持，离
开普渡大学後完全找不到相关学术工作，长期落魄打零工，後来才在新罕布夏大学谋得讲师
职位。
直到 2013 年发表孪生素数猜想突破性论文，张益唐才从一位默默无闻大学小讲师变成全球
知名数学家。
直到 2013 年发表孪生素数猜想突破性论文，张益唐才从一位默默无闻大学小讲师变成全球
知名数学家。
讽刺的是，如今雅可比猜想被 Claude Fable 5 证明本身就是错误，苦了张益唐学术生涯为
此漂泊数十年，但也终於还张益唐一个公道。
5.完整新闻连结 (或短网址)不可用YAHOO、LINE、MSN等转载媒体:
※ 当新闻连结过长时，需提供短网址方便网友点击
https://technews.tw/2026/07/21/jacobian-conjecture-claude-math-problem/
6.备注:
※ 一个人一天只能张贴一则新闻(以天为单位)，被删或自删也算额度内，超贴者水桶，请?
※ 备注请勿张贴三日内新闻(包含连结、标题等)
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.38.94.14 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Gossiping/M.1784680316.A.76C.html
1F：推 kawazakiz2: 先推不然大家以为我看不懂59.124.95.74 07/22 08:32
2F：推 sdamel: 把淡水鱼丢海里证明鱼不会游泳42.78.218.123 07/22 08:33
3F：→ FatFatQQ: 反观八卦鲁蛇还在担心少子化101.10.83.227 07/22 08:34
4F：推 SydLrio: 这麽简单的题目要证这麽久喔，人类药丸211.75.194.223 07/22 08:35
5F：推 whitenoise: 这条新闻只看到学术圈的傲慢218.166.92.114 07/22 08:35
6F：推 preisner: 还好, 我十年前就知道了 60.248.161.28 07/22 08:35
7F：→ xyzgod999: 为什麽前几段叙述的口条很像yt 上的42.71.169.74 07/22 08:35
8F：推 edwinrw: 变雅比？ 49.214.9.85 07/22 08:36
※ 编辑: KotoriCute (114.38.94.14 台湾), 07/22/2026 08:36:49
9F：推 cystal: 跟我想的一样 只是一张纸不够写证明 不对 220.130.224.68 07/22 08:39
10F：→ cystal: 只有一行 那一定是找不到适合的笔 220.130.224.68 07/22 08:39
11F：推 greenbullet: 张益唐的故事很励志 120.126.103.19 07/22 08:39
12F：推 BDroach: 讲中文好ㄇ 211.22.7.235 07/22 08:41
13F：推 v7q4: 嗯，跟我两年前想的差不多 49.216.128.238 07/22 08:45
14F：→ guanluvsquat: 拉马努金：观察到 27.242.99.57 07/22 08:49
15F：推 tomhawkreal: 这只是斯梅尔的18个问题其中一个 1.163.171.25 07/22 08:49
16F：推 cerberi: 我好奇的是怎麽找出来这反证的 42.70.8.233 07/22 08:49
17F：→ cerberi: 这种不可能用穷举吧 42.70.8.233 07/22 08:50
18F：推 kururuj: 据说是AI找到了一篇几乎没人记得的俄国 36.230.10.221 07/22 08:51
19F：→ kururuj: 论文当参考得到的结果 36.230.10.221 07/22 08:51
20F：推 oollooll: 大学学代书时就曾经跟我老师说 但他不 1.164.200.246 07/22 08:52
21F：→ oollooll: 相信我 1.164.200.246 07/22 08:52
22F：推 azeroth: 恩 我去年解出来的时候还在想要不要发表111.242.101.106 07/22 08:54
23F：→ machiusheng: 亲鸟：先证明拦截率210% 42.70.25.76 07/22 08:54
24F：推 skhten: 嗯嗯 一比鸭鸭 211.72.124.175 07/22 08:55
25F：推 LYS5566: 数学跟下围棋逻辑相似 全局直觉很重要 61.228.45.89 07/22 08:57
26F：推 duelaylomo: 其实是我训练的啦，我没事就算点数学 223.140.70.94 07/22 08:57
27F：→ duelaylomo: 教育AI，没想到被他写入资料库里面了 223.140.70.94 07/22 08:57
28F：推 LYS5566: 局部就靠暴力计算 这两个都是AI强项 61.228.45.89 07/22 08:57
29F：→ HodorDragon: 跟我想得差不多 106.64.41.18 07/22 09:00
30F：→ sexygnome: 真可比 223.137.20.75 07/22 09:01
31F：推 specialcook: 对对对我也是这麽认为122.116.236.213 07/22 09:01
32F：→ cado: 天才与白痴 118.232.35.237 07/22 09:04
33F：推 tsai529: 早就证明过是错的了 没人理我223.143.241.180 07/22 09:05
34F：推 Dirgo: 人家把微积分读透的时候一般人还在学算数,118.163.179.141 07/22 09:06
35F：→ Dirgo: 是要笑话什麽.118.163.179.141 07/22 09:07
36F：推 Ncode: AI太好用啦 AI股继续买买买 49.216.46.172 07/22 09:07
37F：推 Dirgo: 比起直觉很重要什麽的,数学在我来说比较像118.163.179.141 07/22 09:09
38F：→ Dirgo: 直觉反覆打破又建立的过程,被打破以後建不118.163.179.141 07/22 09:10
39F：嘘 JOKO58802218: 人脑不如的典范 101.8.134.21 07/22 09:10
40F：→ Dirgo: 起来的时候就卡关了,数学程度也就卡在那了.118.163.179.141 07/22 09:11
41F：推 belucky: AI太恐怖了 27.52.6.186 07/22 09:12
42F：→ belucky: 只要给他时间和记忆体 运算无极限 27.52.6.186 07/22 09:12
43F：→ belucky: 那是一个无极限 27.52.6.186 07/22 09:13
44F：→ Forcast: 工数 111.241.56.1 07/22 09:15
45F：推 tulian: 雅可比 感觉很适合开餐厅的名字167.103.160.115 07/22 09:22
46F：推 aa014228: 嗯嗯 跟我想的差不多 111.83.3.244 07/22 09:22
47F：推 sadmonkey: 找反例ai可能真比顶尖人类厉害 220.141.10.100 07/22 09:24
48F：推 orze04: AI也不是独立证明，是站在前面几十年人类114.136.231.162 07/22 09:24
49F：→ orze04: 的研究基础上114.136.231.162 07/22 09:24
50F：推 ATand: 简单方式比喻，一个奇怪的造型用光照投影 101.8.89.152 07/22 09:25
51F：→ ATand: 到墙面产生图案，只有照这个位置才能产生 101.8.89.152 07/22 09:25
52F：→ ATand: 这个图案，关系是一对一的，但目前证明有 101.8.89.152 07/22 09:25
53F：→ ATand: 某种奇怪图案，照不同位置会有同样图案 101.8.89.152 07/22 09:26
54F：→ sadmonkey: 这篇ai没有证明阿，就单纯找到反例说 220.141.10.100 07/22 09:26
55F：→ sadmonkey: 明你猜想错了，惊讶的是数十年来的数 220.141.10.100 07/22 09:26
56F：→ sadmonkey: 学家都没法找到这个反例 220.141.10.100 07/22 09:26
57F：推 aaaaajack: 我靠？？？ 61.230.180.234 07/22 09:28
58F：推 orze04: 期待黎曼猜想也能被找到反例114.136.231.162 07/22 09:30
59F：推 WashiJoe: 嗯嗯 我也是这麽想的223.139.204.153 07/22 09:30
60F：推 goddson: 我大学时。就跟教授说了。 111.82.150.201 07/22 09:38
61F：推 e17688: 嗯嗯嗯跟我想的一样 111.71.84.19 07/22 09:39
62F：推 littleme1125: 谁能想到有这反例 1.173.80.161 07/22 09:40
63F：推 nt880245: AI可看成就是脑容量无限大的人类 101.12.235.39 07/22 09:41
64F：推 shitboy: AI的强项 42.72.139.141 07/22 09:41
65F：推 adampolo: 证伪本来就只需要举一个反例证明不是所 27.240.34.108 07/22 09:42
66F：推 babyMclaren: 学术界生物领域是不是也被AI海抛， 49.216.165.46 07/22 09:42
67F：→ adampolo: 有都适用就可以了 27.240.34.108 07/22 09:42
68F：→ babyMclaren: 数学家也太晚发现 49.216.165.46 07/22 09:42
69F：推 JaegwonKim: 看不懂啦 49.218.144.195 07/22 09:46
70F：推 joesong: 有请于北辰数学大师释疑 101.10.94.23 07/22 09:46
71F：→ basslife: 早上边大便边看 这到底再供三小 61.220.127.70 07/22 09:50
72F：推 goodboy98: How:需要我带耳机听噪音边心算吗 49.218.144.77 07/22 09:50
73F：推 AlvaroMorata: 果然 跟我想的一样 49.214.1.162 07/22 09:53
74F：推 DivaNight: 证明我10年前就发现了 但位置太小 我写 39.12.97.166 07/22 09:53
75F：→ DivaNight: 不下 39.12.97.166 07/22 09:53
76F：推 sky001tp: 嗯嗯，对对，我还是听不懂 223.137.36.125 07/22 09:53
77F：→ distellable: 博士论文找一个难题当题目是被教授搞 60.250.242.163 07/22 09:58
78F：→ distellable: 吗 60.250.242.163 07/22 09:58
79F：推 noname912301: www 42.79.52.255 07/22 09:58
80F：推 kaet: 张益唐的故事给我们很大的启示 59.115.14.22 07/22 10:00
81F：推 flyinglin: 嗯嗯跟我想的一样 1.163.84.185 07/22 10:00
82F：推 kaet: 其实张益唐直接找一个反例也可以吧 只是没 59.115.14.22 07/22 10:01
83F：→ kaet: 有往那个方向想 59.115.14.22 07/22 10:01
84F：推 ericsonzhen: 证伪後面就不需要再浪费时间搞这些屁 42.72.113.160 07/22 10:02
85F：→ ericsonzhen: 了 以後数学系肯定得引入Ai辅助证明 42.72.113.160 07/22 10:02
86F：→ ericsonzhen: 了吧 42.72.113.160 07/22 10:02
87F：→ offstage: 什麽叫作沦为笑话？在学术的领域如果你 49.216.52.121 07/22 10:03
88F：→ offstage: 能证明某条路不可行，本身就是一种贡献 49.216.52.121 07/22 10:03
89F：推 stevewu929: 跟我想的一样 益唐你看看你 180.177.3.73 07/22 10:03
90F：→ offstage: 了。算了，记者不可能有硕士学历，不能 49.216.52.121 07/22 10:03
91F：→ offstage: 要求太高。 49.216.52.121 07/22 10:03
92F：推 VaporNSynth: 张益唐的故事是无数博士生的缩影，惨 49.216.106.114 07/22 10:05
93F：推 ashclay: 推文某位什麽叫没有证明 单纯找到个反例w 114.24.110.83 07/22 10:05
94F：→ ashclay: wwww你要不要听听看你自己在说什麽？草 114.24.110.83 07/22 10:06
95F：→ kuria610478: 终於有人找到我留下的反例了，欣慰 114.137.3.124 07/22 10:06
96F：推 Sunofgod: 写这篇的凭什麽说先人数学家是笑话 60.249.134.134 07/22 10:07
97F：推 fatedate: 先推 免得大家说我不懂 223.143.227.54 07/22 10:10
98F：推 elia0325: 跟我想的一样 27.240.97.249 07/22 10:11
99F：推 Daedolon: 国中科展有人做这个早就找到反利惹223.200.104.205 07/22 10:12
100F：→ hom0828: 看完了，还好 203.160.72.70 07/22 10:14
101F：推 t1520061217: 莫那一段看不懂 他给人错的东西还怪 42.79.131.194 07/22 10:16
102F：→ t1520061217: 别人? 42.79.131.194 07/22 10:16
103F：推 bcismylove: 跟我想的差不多 118.233.90.187 07/22 10:20
104F：推 mercedeces: 张益唐只差没去卖鱼跟认识空姐了 118.163.52.45 07/22 10:22
105F：推 SphereDavid: 嗯，跟我想的差不多 42.78.200.252 07/22 10:23
106F：推 keler897: 嗯嗯跟我想的一样 42.72.201.236 07/22 10:23
107F：推 Pluto17: 一群人到底有没有在看内容啊？ 反例题目 110.28.49.107 07/22 10:24
108F：→ Pluto17: 就那麽一点空间 是在写不下三小啦干你娘 110.28.49.107 07/22 10:24
109F：→ Pluto17: 勒 110.28.49.107 07/22 10:24
110F：推 seagawk: 这个猜想证明错误的导论我大三时也推过， 49.218.251.137 07/22 10:24
111F：→ seagawk: 只是当时太忙了懒得送件被我丢垃圾桶了！ 49.218.251.137 07/22 10:24
112F：推 will1118: 推推223.138.141.188 07/22 10:25
113F：推 machijoy: 嗯嗯跟我想的一样 223.137.206.18 07/22 10:26
114F：推 DearR: 维大力 114.26.75.166 07/22 10:28
115F：推 CTUST: 没有浪漫跟机缘，别碰数学及艺术 223.137.165.23 07/22 10:29
116F：推 hook99: 还好我看不懂 27.52.228.37 07/22 10:30
117F：推 CTUST: 重新定义除反例外或限定条件下，其 223.137.165.23 07/22 10:31
118F：→ CTUST: 余皆可行符合公式这样没问题吧 223.137.165.23 07/22 10:31
119F：→ starcookey: 早就说过了，没人信我，哼 219.70.145.246 07/22 10:32
120F：推 mybaby520: 靠么意外能懂 他给的3个点代进公式就好 36.230.184.211 07/22 10:40
121F：推 asd15723: 我也是这麽想的 42.73.141.122 07/22 10:41
122F：→ mybaby520: 有国高中数学程度 就能看懂那个反例 36.230.184.211 07/22 10:42
123F：推 nt880245: 很多定理都是靠反例推翻的 文组才不知道 101.12.235.39 07/22 10:45
124F：→ nt880245: 吧 101.12.235.39 07/22 10:45
125F：嘘 nolander: 公道啥小223.143.245.150 07/22 10:46
126F：推 marke18: QQ 118.168.143.93 07/22 10:47
127F：推 hanmas: 猜想本来就两边都可以试着证 尝试错的那 49.216.165.185 07/22 10:51
128F：→ hanmas: 边就说人家是笑话也太苛薄了 但以後的数 49.216.165.185 07/22 10:51
129F：→ hanmas: 学研究很不一样了 49.216.165.185 07/22 10:51
130F：推 www456789789: 工三小 49.215.57.51 07/22 10:58
131F：推 tikowm: 我三年前就主张这是假议题了 14.191.70.247 07/22 11:01
132F：推 SEASALT: 虽然早就知道了 只是不忍心推翻 这 42.72.204.90 07/22 11:07
133F：→ SEASALT: 天终究来了 42.72.204.90 07/22 11:07
134F：推 kenjip1p2: 嗯嗯跟我想的一样 111.82.22.179 07/22 11:08
135F：推 sam197665: 公三小听不懂啦 123.195.77.211 07/22 11:08
136F：推 leeyeah: 我的答案跟小当家一样 126.33.100.68 07/22 11:10
137F：推 yayan1010: 浪费了一辈子的人生，被AI马上超越 61.218.45.138 07/22 11:11
138F：推 stvc: 嗯嗯 跟我想的一样 114.24.24.45 07/22 11:13
139F：推 ur83friend: 看完了，我决定专心想晚餐吃什麽 101.10.60.127 07/22 11:20
140F：推 peterj0727: 跟我想的差不多223.136.116.128 07/22 11:30
141F：推 steven5026: 我还以为大家都知道了 49.217.193.207 07/22 11:33
142F：推 FULLHD1080: 比我快一个小时, 101.8.130.73 07/22 11:39
143F：推 storyf66014: 恩恩 跟我想的一样 36.228.144.195 07/22 11:46
144F：推 kiy75: 嗯嗯嗯 111.241.167.16 07/22 11:53
145F：推 REDF: 讲简单一点就是本来该是一对一的东西 223.138.23.5 07/22 11:54
146F：→ REDF: 被发现能一对多 不符合猜想对吗 223.138.23.5 07/22 11:54
147F：推 tsainalunba4: 数学博和一般理工博差异还是很大 101.8.129.2 07/22 11:56
148F：→ tsainalunba4: 理工博在实验室还能当苦力用 而数 101.8.129.2 07/22 11:56
149F：→ tsainalunba4: 学因为没有实验 博士生对於教授来 101.8.129.2 07/22 11:56
150F：→ tsainalunba4: 说没什麽利用价值 除非学生天赋够 101.8.129.2 07/22 11:56
151F：→ tsainalunba4: 能彼此双向启发 否则会耽误教授自 101.8.129.2 07/22 11:56
152F：→ tsainalunba4: 己的研究没错啦 101.8.129.2 07/22 11:56
153F：推 NiMaDerB: 跟教授讲後 他把我当掉了 223.138.171.45 07/22 12:00
154F：→ MyPetTankDie: 如果是18楼那样那个俄国数学家也很223.140.247.233 07/22 12:02
155F：→ MyPetTankDie: 可惜啊223.140.247.233 07/22 12:02
156F：推 piolet: 87年间一堆人的宝贵时光被ai反例瞬间破解 61.223.47.169 07/22 12:05
157F：→ vltw5v: 蛤 61.220.93.195 07/22 12:06
158F：推 wj12240522: 问题是二维还没有解开来 （N=2) 只证 114.37.153.86 07/22 12:15
159F：→ wj12240522: 伪三维而已 114.37.153.86 07/22 12:15
160F：推 wulouise: 证伪就是你发现前提是错的？不用证明 223.136.85.140 07/22 12:17
161F：→ lponnn: 我当时也是这样想 只是纸上的空白处不够 101.8.89.207 07/22 12:18
162F：推 francois106: 可比：男人什麽罐头我说 49.217.125.52 07/22 12:19
163F：推 chunyee: 我早就跟雅可比说不要乱瞎猜了 223.137.239.9 07/22 12:19
164F：→ Mubing: 应该是抓到我国小的试算 114.41.142.41 07/22 12:20
165F：推 Yuta659: 这证明我早年投稿日本少年JUMP的论点是 49.218.90.122 07/22 12:21
166F：→ Yuta659: 对的 49.218.90.122 07/22 12:21
167F：推 applypig: 跟我想的也一样，不过李多慧露毛 101.10.87.107 07/22 12:21
168F：嘘 azukinana: 我看过了，还好而已。真恶心 101.12.145.45 07/22 12:31
169F：推 Cuchulainn: 还有多少冤枉路 还是别做人类了 1.174.30.51 07/22 12:33
170F：→ StanfordNo1: 反例是三维的，数学界的共识本来就偏107.116.255.108 07/22 12:33
171F：→ StanfordNo1: 向三维以上是错的，张益唐尝试的是二107.116.255.108 07/22 12:33
172F：→ StanfordNo1: 维。107.116.255.108 07/22 12:34
173F：推 destinyskyed: 先推不然大家以为我看不懂 101.12.100.84 07/22 12:34
174F：推 firose: 人类输了 114.25.185.71 07/22 12:36
175F：推 nakato: 嗯嗯我也这样想 39.14.32.2 07/22 12:39
176F：→ Schmid: 阿弥陀佛 49.158.128.43 07/22 12:40
177F：推 brolli: 省掉之後多少人材不小心浪费时间 114.41.138.39 07/22 12:41
178F：推 rita9122037: 嗯嗯 原来如此 49.215.100.140 07/22 12:43
179F：→ p112233: 找反例很简单啊，直接在论文库里面搜寻 223.139.52.184 07/22 12:52
180F：→ p112233: 成千上万条方程式一个一个算就有机会 223.139.52.184 07/22 12:52
181F：推 uco330: 那个莫教授太烂了吧 163.23.252.19 07/22 13:06
182F：推 asdfg5678: 找得到反例实在太扯114.136.172.103 07/22 13:15
183F：推 doomsday0728: 莫宗坚台湾人耶...好丢脸 125.231.165.86 07/22 13:24
184F：推 tidus1102: 这篇发在八卦版？？ 101.12.101.91 07/22 13:42
185F：推 asuka666: 嗯嗯我也是这样想 49.217.141.254 07/22 13:42
186F：推 bdgnrd0103: 嗯嗯 跟我想的一样 101.10.7.197 07/22 13:59
187F：推 hipnos: 真厉害的ai...220.135.234.131 07/22 14:01
188F：→ RisingTackle: 拿AI跟人类比算力，这不是废话吗？ 218.34.137.90 07/22 14:02
189F：推 joeyben: 完全看不懂 42.76.2.59 07/22 14:02
190F：→ RisingTackle: 以前觉得不可能的事 AI甚至可以穷举 218.34.137.90 07/22 14:02
191F：推 kai2573: 嗯嗯嗯 49.214.10.132 07/22 14:03
192F：推 sweetsmoke: 喔喔跟我想的一样 223.137.66.33 07/22 14:17
193F：推 L1ON: 嗯嗯跟我想的差不多182.234.224.121 07/22 14:27
194F：推 leechester: 跟到垃圾教授 119.234.52.56 07/22 14:52
195F：推 CaoAMan: 证明我早年给校刊的投稿是对的，可惜当 61.223.3.96 07/22 14:54
196F：→ CaoAMan: 年没被采用 61.223.3.96 07/22 14:54
197F：推 zjkgsd365: @xptt.ai 解释一下发生了什麽事 71.197.235.153 07/22 15:19
199F：推 zjkgsd365: @xptt.ai 可以用五岁小孩也听得懂的 71.197.235.153 07/22 15:22
200F：→ zjkgsd365: 方式解释吗 71.197.235.153 07/22 15:22
202F：→ AbianMa19: 跟我想的一样 39.15.33.87 07/22 17:20
203F：推 ambitious: 所以对科学有什麽帮助？111.241.197.194 07/22 18:00
204F：推 WiserWilly: 这篇新闻应该是ai的，这麽长一篇专业 123.193.195.6 07/22 19:12
205F：→ WiserWilly: 东西，还搭上世足，傻逼八 123.193.195.6 07/22 19:12
206F：推 WorkForFree: 莫宗坚这行为真婊啊 101.10.10.242 07/22 19:56
207F：推 iamstrong706: 没错 跟我想的一样 39.12.160.161 07/22 20:57
208F：推 byline: 跟我想的一样 1.168.223.196 07/22 21:33
209F：推 cka: 有两千万个人看得懂? 1.163.70.77 07/22 22:13
210F：推 chick7979: 太厉害了 223.143.241.57 07/23 00:17
211F：推 xhung: 莫宗坚 就是一个机掰人 恶搞自己的学生 101.10.161.218 07/23 03:02
212F：推 chysh: 曲伯：AI 一本正经讲干话 106.1.116.217 07/23 03:31
213F：推 crazy6341556: gpt之前其实也破了一个猜想 没人发 1.164.165.32 07/23 09:21
※ 发信站: 批踢踢实业坊(ptt.cc)
※ 转录者: error405 (114.36.212.31 台湾), 07/23/2026 11:51:52
新消息是GPT昨天也解决了另一个数学难题跟fable打对台
https://x.com/DmitryRybin1/status/2079904005652893709
Dinitz-Garg-Goemans猜想被证明是错误的
https://x.com/willdepue/status/2079973929448509612
https://pbs.twimg.com/media/HN2NCJ-aUAAGNMx?format=jpg&name=900x900
提示词只是骂了GPT要它找反例出来 就这样
※ 编辑: error405 (114.36.212.31 台湾), 07/23/2026 11:57:05
215F：→ AoWsL: 当AI强过数学家的时候 换数学家 07/23 12:12
216F：→ AoWsL: 而人类一时间竟无从辩驳 07/23 12:13
217F：推 Bustycat: 5月未公布的GPT模型就解决了一道数十年的数学难题 07/23 12:20
https://openai.com/zh-Hant/index/model-disproves-discrete-geometry-conjecture/
Erd unit distance conjecture（单位距离猜想，1946年，80年历史）：OpenAI内部
模型找到反例/构造，证明存在无限多n点配置有超过n^{1+δ}单位距离对（δ>0），反驳
Erd的上界猜想。生成大量计算，数学家（如Noga Alon）验证，视为重大里程碑，可
能发表在顶刊。
※ 编辑: error405 (114.36.212.31 台湾), 07/23/2026 12:31:40
218F：推 nineflower: 我觉得这是好事吧 数学家提出猜想 ai来负责证明 数学 07/23 12:38
219F：→ nineflower: 家再吸收证明结果提出新的猜想 07/23 12:38
220F：推 Supasizeit: 数学系会不会变考古系 07/23 13:54
221F：推 newyorker54: 原来AI板有那麽多人在看 07/23 14:15
223F：→ error405: Grok刚刚也解决一个30年问题 尬广跟上这是 07/23 14:39
224F：推 Tosca: 突然想到如果Fable证明了一个定理 那不是该命名为Fable定理 07/23 14:54
225F：→ Tosca: 以後的数学定理应该都是AI的名字了 人类去死死 快笑死 07/23 14:54
226F：推 Supasizeit: 很正常吧 现在棋王是谁也不重要了 07/23 15:03
227F：→ patvessel: 如果这个逻辑成立的话 这几十年大部分定理都要叫计算机 07/23 15:04
228F：推 Tosca: 没有喔 用计算机验证是一回事 现在是AI直接给出证明 07/23 15:04
229F：→ patvessel: 定理了 工具不会自己想要证明什麽定理 07/23 15:04
230F：→ Tosca: 不是这样说吧 不然尺规作图证明的几何定理通通叫尺规定理?! 07/23 15:05
231F：→ Tosca: 我知道你的意思 但现实就是AI已经不只是工具了 07/23 15:05
232F：→ patvessel: 还是要人类引导AI去给证明 不然哪个AI会自己想要证明 07/23 15:05
233F：→ patvessel: 什麽公式的 07/23 15:05
234F：→ patvessel: 对阿 对阿 照你的逻辑就是都要叫尺规定理 所以不成立 07/23 15:06
235F：→ patvessel: 无状态的模型根本就没有能动性 07/23 15:07
236F：推 Tosca: 这样讲起来AI不过就是像尺规和算盘一样只是一种工具?! 07/23 15:08
237F：→ Tosca: 但这工具也太强了吧简直快变作弊外挂了 07/23 15:08
238F：→ Tosca: 以前提一个几何猜想 至少还要自己拿尺规出来画来证明 07/23 15:09
239F：→ Tosca: 现在是提一个猜想 叫AI证明或反证明即可?! 这样也行?! 07/23 15:09
240F：→ patvessel: 工具不会主动去提出一个假说并验证後发表 也不会抗议别 07/23 15:09
241F：→ patvessel: 人 07/23 15:09
242F：→ patvessel: 只要所有行为主体都还是人类 07/23 15:09
243F：→ patvessel: 那定理就不会是AI的名字 当然研究要挂AI那是他的选择 07/23 15:10
244F：→ patvessel: 只有一个AI或一台机器在那边 所有行为都还是要人类来启 07/23 15:18
245F：→ patvessel: 动 07/23 15:18
246F：→ patvessel: 它是不会主动去证明任何定理 也不会主动画色图的 07/23 15:18
247F：→ patvessel: 目前的AI没有任何内生性的动机 只有奖励函数 07/23 15:18
248F：推 Tosca: 听起来是AI无法主动提出猜想 但可以被动给出证明 07/23 15:19
249F：→ Tosca: "猜想"这种浪漫的动机似乎是人类独有?! 07/23 15:20
250F：推 YCL13: 目前AI可全面性地整理分析，所以这个大量研究的题目才会被 07/23 15:36
251F：→ YCL13: 突破，如果是个没有什麽人研究的冷门困难题目，目前的AI是 07/23 15:36
252F：→ YCL13: 尚无法自从零开始而达到突破的 07/23 15:36
253F：推 ZMTL: 至少目前学术界几乎接受使用AI但不接受AI被列为作者 07/23 15:56
254F：→ ZMTL: 目前的AI就没有被证明能有"自己的意图" 07/23 15:56
255F：推 jakkx: 有正向的难题被突破的例子吗？ 07/23 16:12
256F：推 Bugquan: 大於三维的「雅可比猜想」本来不相信成立的 约大约相信 07/23 16:22
257F：→ Bugquan: 的，只是大家没想过 要怎麽去构造出来 另一方面 大家的 07/23 16:22
258F：→ Bugquan: 精力放在二维上 07/23 16:22
259F：推 leo255112: 供三小，数学真的是什麽正常人在学的科学吗.... 07/23 16:42
261F：→ error405: fable5不给研究数学了 有够白痴 07/24 05:58
262F：推 ksjr: 只有我的人能够研究数学发表文章 07/24 08:19
263F：推 smallplug: 嗯嗯，我也是这样想的 07/25 17:50