RecodeX 重构消息，Anthropic工程师在GitHub上传了由内部超前代Claude大模型生成、并经Lean严格验证的完整证明代码，宣告困扰学界约70年的3至10维空间渗流连续相变猜想被AI攻克。该猜想聚焦临界点处是否存在无限大连通网络，此前人类仅证明了二维及11维以上维度的情况，3到10维因缺乏适配工具长期成为研究瓶颈。2024年两位数学家已将其证明简化为求证一个特定代数不等式，但始终未能突破。消息引发数学界复杂反响，部分学者仍在等待AI给出人类可理解的证明过程。