渗流理论难题：五位数学家破解相变谜题
'Stunning' percolation proof solves decades-old puzzle about phase transitions
2025年圣诞前夕，ETH Zurich的五位数学家Sahar Diskin、Philip Easo、Ritvik Ramanan Radhakrishnan、Benny Sudakov和Vincent Tassion在教室里彻夜奋战，最终攻克了渗流理论中困扰学界数十年的难题。他们证明了一个关于相变速度的关键猜想，即sharpness conjecture在无限transitive graphs上同样成立。这一突破不仅验证了Rosalind Franklin早期对煤炭流体渗透的直觉，也为理解病毒传播、野火蔓延等复杂网络中的相变现象提供了坚实的理论基础。
我在这项证明中找到了巨大的喜悦，它令人惊叹。
HN 评论区
28- plaidfuji
2025 年圣诞节前一周，五位数学家在苏黎世联邦理工学院的一间教室里闭关研究。
真庆幸这事最后没变成“调整 ChatGPT Sol 的提示词”之类的结局。
他、Diskin 和 Radhakrishnan 取得了一些进展，并将结果带给了 Sudakov 和 Tassion。当 Tassion 审视他们的工作时，一个想法——或许是个大胆的想法——在他脑海中浮现。……在那几周里，合作变得异常激烈。数学家们不断交换思路，常常深夜还在发短信。
如果我们把这一切都自动化了，那将是一个真正悲哀的世界。
- karmakurtisaani
读到一篇证明的关键部分不是“他们如何欢呼着让 Claude 来解决它”，真是令人耳目一新。
- catapart
我仿佛能隐约看出这个理论的轮廓，但对我来说还是很模糊。感觉它似乎能用于一些很酷的东西，但我又说不清具体是什么。程序化生成？着色器特效？除了文章中描述的那些更重要的物理应用外，感觉这东西似乎还有些搞着玩的潜力？