哥德巴赫猜想
Goldbach's conjecture
自然语言表述：每个大于 2 的偶数都可以写成两个素数之和。
这是一个消歧义页，列出登记在该猜想之下的全部形式化表述。登记库不判断其中哪一条（如果有）等价于自然语言表述。
已登记的表述
| 编号 | Lean 声明 | 提交 | 来源 | CI 检查 | 声称的证明 |
|---|---|---|---|---|---|
| #20261014-01 | Registry.Goldbach.S20261014_01 | 2026-10-14 · merethe-abeckett | 原创 | 通过 | 0 |
| #20261014-02 | Registry.Goldbach.S20261014_02 | 2026-10-14 · merethe-abeckett | 改编 | 通过 | 0 |
参考资料
编辑历史
| 日期 | 说明 | 编辑者 |
|---|---|---|
| 2026-10-14 | 全面中文化，并加入 Gemini 导读生成 | 维护者 |
| 2026-10-14 | Scaffold the Lean Statement Registry | 维护者 |