Liouville 版哥德巴赫猜想获完全证明并通过 Lean 形式化验证
ctjlewis · x · 2026-09-17
据 @captainsude 发布，Liouville 版哥德巴赫猜想已被完全证明并通过 Lean 形式化验证：每个大于 2 的正偶数都可表示为两个 Liouville 值为 -1 的正数之和。证明代码已以 v1.0.0 发布在 GitHub（CaptainSude/Liouville-Goldbach），提交带有 GitHub 验证签名。这是形式化数学（formal verification）在数论研究中落地的又一案例。
「研究」频道最新
- 腾讯发布 Hyra 2.0:研究智能体从解题转向造可复用工具 — TencentHunyuan · 2026-11-02
- General Reasoning 首发博客:详解如何用强化学习训练 Agent 集群协作 — rosstaylor90 · 2026-11-02
- 数学家 Tony Feng：当前范式 LLM 缺乏研究所需的思维多样性 — littmath · 2026-11-02
- 「不懂测度论就学不了概率」？数学圈调侃形式化与本质的错位 — LucaAmb · 2026-11-02
- DStill 论文：蒸馏多步去噪轨迹，块扩散投机解码提速至 6.45 倍 — LucaAmb · 2026-11-02
- 研究发现门控参与度与生成质量强相关，径向目标降 FID 至 11.83 — Junha Park · 2026-11-02