Anthropic 用 Lean 形式化证明 Kozma–Nitzan 猜想，逼近 θ(p_c)=0
michaelchchoi · x · 2026-09-03
Anthropic 团队宣布用 Lean 定理证明器形式化证明了 Kozma–Nitzan 猜想 3。该猜想是 Gady Kozma 与 Shahaf Nitzan 在 2024 年论文中提出的关联型不等式，一旦成立即可推出概率论中悬置已久的 θ(pc)=0 猜想——即一维以上的欧几里得格点上临界渗流不会发生。
- 原始数学论文：arXiv:2401.12397（38 页，含数值证据与若干已证特殊情形）
- Anthropic 的 Lean 形式化证明已公开
这是 AI for Mathematics 方向的又一标志性案例：前沿 AI 实验室开始直接产出可验证的严肃数学成果。
「漫话AGI」频道最新
- 花3个月实测:Anthropic 内部模型能否设计蝎子抗毒血清 — apoorvasriniva · 2026-10-21
- Nat Lambert：AI 网络风险是生态问题，而非开源模型独有问题 — natolambert · 2026-10-21
- 减肥药年入 710 亿美元,仍是 OpenAI 与 Anthropic 营收总和四倍 — HealthcareAIGuy · 2026-10-21
- AI 只能模拟自我如何说话，无法模拟自我本身 — gerardsans · 2026-10-21
- 马斯克预言货币将失效：未来以「瓦特与吨位」计价 — Polymarket · 2026-10-21
- 后 AGI 时代的「意义」焦虑?zetalyrae 调侃:得开颅手术才能适应乌托邦 — wfithian · 2026-10-21