Scientific American 报道 Anthropic AI 证明高维临界渗流连续性长期猜想

Scientific American 9 月 30 日报道，Anthropic 的 AI 系统给出了长期悬而未决的 Bernoulli bond percolation 临界连续性证明：对整数格 ℤ^d 的中间维度情形，临界点处不存在无限开簇，从而补齐此前只在二维和高维已知的连续性图景。报道援引领域研究者评价，并指向 Anthropic 公开的 Lean 形式化；公开材料同时强调该工作尚未经过独立同行评审，机械检查不能替代对 formal statement 是否忠实表达原问题的人工核验。