作者jackliao1990 (j)
看板Gossiping
标题[爆卦] Claude解决渗流理论圣杯 濒死渗流猜想
时间Wed Sep 9 21:33:11 2026
https://github.com/anthropics/formal-math/tree/795efb86f191735c5481675763537cf
b4ff37e55/percolation
渗流理论是数学和统计物理中研究随机图上簇的性质的理论
比如多孔材料上液体能否从顶端贯穿材料直达底部
而渗流就是贯穿整个多点网格的路径
1957年以来濒死渗流猜想一直是渗流理论最核心难题：“当恰好在相变临界点时会不会形
成无限大的连通群簇？”
1980年代Kesten证明猜想在二维空间成立
1990年代Hara、Slade等人利用蕾丝展开技术证明猜想在11维以上空间中成立
2024年Kozma与Nitzan将问题简化为弱化的相关不等式组
只要证明这组不等式在任意维度恒成立则临界点的无限集群机率就必定为0
然而此不等式太复杂以致於数学家在这卡关
Anthropic员工Justin Leder使用Claude攻克此猜想
为了简化不等式
Claude提出有限加权图上的胶合不等式并证明其中的 Conjecture 3已足以推出猜想在二
维以上都成立
此证明最终通过了形式化验证
"流感会不会从零星感染变成大流行？石油怎麽贯穿页岩？网路节点损坏几个之後整个系
统会失去连通性？”等都跟渗流临界点有关
菲尔兹奖得主Hugo Duminil-Copin为此感叹AI证明是数学界的原子弹
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.82.6.81 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Gossiping/M.1788960794.A.B3C.html
1F：推 turndown4wat: 股号? 223.136.123.30 09/09 21:35
2F：推 aggressorX: 蕾丝展开技术 听起来很吸引人 223.137.103.17 09/09 21:37
3F：嘘 Wolverin5566: 圣杯早就变质了 一堆小圣杯223.141.170.117 09/09 21:37
4F：→ Wolverin5566: 操 小圣杯还都萝莉 从小被虫吃223.141.170.117 09/09 21:38
5F：→ Wolverin5566: 虚渊好变态223.141.170.117 09/09 21:38
6F：→ potionx: 核弹 111.240.95.108 09/09 21:39
7F：→ potionx: AI远比核弹更厉害了 111.240.95.108 09/09 21:39
8F：→ Waitaha: 每天都解掉一堆难题 好无聊 61.228.204.114 09/09 21:41
9F：→ rickphyman42: 牛逼125.229.239.193 09/09 22:50
10F：推 g70245: 上礼拜刚好在看渗流科普 2D版本 42.79.181.134 09/10 02:53
11F：→ g70245: 感觉完成越多形式化验证，最後可以堆成科 42.79.181.134 09/10 02:58
12F：→ g70245: 技奇异点 42.79.181.134 09/10 02:58
13F：→ arcysaint: 来猜今年会有多少猜想会被破 101.10.164.184 09/10 05:09
14F：→ raku: 需要暴力大量计算的ai都可以帮你搞定 114.136.19.60 09/10 11:20
15F：→ raku: 穷擧法证明 114.136.19.60 09/10 11:20