[爆卦] Claude解決滲流理論聖杯 瀕死滲流猜想

[jackliao1990 (j)]

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://www.ptt.cc/bbs/Gossiping/M.1788960794.A.B3C.html
推 turndown4wat: 股號?
推 aggressorX: 蕾絲展開技術 聽起來很吸引人
噓 Wolverin5566: 聖杯早就變質了 一堆小聖杯
→ Wolverin5566: 操 小聖杯還都蘿莉 從小被蟲吃
→ Wolverin5566: 虛淵好變態
→ potionx: 核彈
→ potionx: AI遠比核彈更厲害了
→ Waitaha: 每天都解掉一堆難題 好無聊
→ rickphyman42: 牛逼