群发资讯网

Anthropic团队借助Claude辅助，在渗流理论领域攻克了长期未解决的开放

2026-09-08 18:09:03 温纶论科技科技

Anthropic团队借助Claude辅助，在渗流理论领域攻克了长期未解决的开放问题θ(p_c)=0，还通过Lean4完成了形式化检验，目前泄露出的版本只有Lean仓库，暂难判断其正确性。

阅读：0 点赞：0