Claude 文档声称证明所有维度临界概率下不存在渗流

一篇数学博客称，θ(p꜀)=0 猜想已在所有维度得到解决，一份 Claude 文档附带 Lean 验证，声称正面证明 Kozma-Nitzan 猜想。该猜想由 Gady Kozma 与 Shahaf Nitzan 在 2024 年提出，可推出临界渗流中以概率 1 不存在无限簇；平面和高维情形此前已知，三维等中间维度长期开放。