Liouville 版哥德巴赫猜想获完全证明并通过 Lean 形式化验证
ctjlewis · x · 2026-09-17
据 @captainsude 发布，Liouville 版哥德巴赫猜想已被完全证明并通过 Lean 形式化验证：每个大于 2 的正偶数都可表示为两个 Liouville 值为 -1 的正数之和。证明代码已以 v1.0.0 发布在 GitHub（CaptainSude/Liouville-Goldbach），提交带有 GitHub 验证签名。这是形式化数学（formal verification）在数论研究中落地的又一案例。
「研究」频道最新
- 用 SVD top-k 初始化 LoRA 适配器，还能改善下游 RL 训练 — simonguozirui · 2026-09-17
- 费城儿童医院用开源 MONAI 秒级建模儿童心脏，辅助先心病手术 — DeryaTR_ · 2026-09-17
- 新报告系统评估 AI 对科学与创新的现实影响 — soumitrashukla9 · 2026-09-17
- AI 垃圾论文反而让审稿变快：只需精读 25-50% 的稿件 — tallinzen · 2026-09-17
- TMLR 编辑出奇招：桌拒前约作者视频对质，10 人中 7 人一问三不知 — deliprao · 2026-09-17
- 人源类脑器官植入小鼠,占据大部分皮层,Nature 发表异种皮层研究 — Dr_Alex_Crimi · 2026-09-17