OpenAI开源Lean仓库:GPT-6-Astra证明素数间隔至多186
scaling01 · x · 2026-09-04
OpenAI 发布新仓库,内含由 GPT-6-Astra 完成的 Lean 形式化证明:存在无穷多对相邻素数,其间距不超过 186。
被引用的 @AcerFur 补充了背景:该结果之所以以 186 为条件,是因为它依赖于 Deligne 型估计与数值验证——前者需要形式化一大批与有限域上代数簇的黎曼猜想(RH for varieties over finite fields)相关的机制,而这并非本项工作的重点。
所属事件:OpenAI开源Lean仓库：GPT-6-Astra证明素数间隔≤186(9 条相关)→
「模型」频道最新
- GPT-6 Astra 跑分碾压 Fable 5.1:Terminal Science 与 Automation Bench 双领先 — ChrisGPT · 2026-09-04
- 未证实:GPT-6 Astra 评测跑分流出,OpenAI 宣称进入「AGI 时代」 — mark_k · 2026-09-04
- GPT-6 Astra 定价曝光:输入 $10/百万 tokens,数日后才全面开放 — bindureddy · 2026-09-04
- Astra 定价曝光:输入 10 美元/百万 tokens,输出 50 美元 — saln1 · 2026-09-04
- GPT-6 Astra 对阵 Gemini 3.8 Flash 网友晒对比图 — Able-Line2683 · 2026-09-04
- GPT-6 Astra 定价曝光:输入 $10/输出 $50 每百万 token — thesaraharminta · 2026-09-04