OpenAI 开源仓库:GPT-6-Astra 用 Lean 形式化证明素数间隔新结果
scaling01 · x · 2026-09-04
OpenAI 发布了一个新仓库,其中包含由代号 GPT-6-Astra 的模型完成的 Lean 形式化证明:存在无穷多对相邻素数,其间距不超过 186。
这是一个正式数学证明成果,由模型产出并通过 Lean 证明助手形式化验证,显示了前沿模型在数学研究层面的能力。模型代号为「GPT-6-Astra」,属于较新的信息,具体能力细节有待更多披露。
所属事件:OpenAI开源仓库：GPT-6-Astra以Lean证明素数间隔上界186(6 条相关)→
「模型」频道最新
- GPT-5.6 Pro 助力改进 Moser 蠕虫问题下界至 0.2374 — zero0_one1 · 2026-09-04
- 爆料称 OpenAI 将推 GPT-6 Astra 系列与 GPT-Image 2.5 — mdancho84 · 2026-09-04
- FinFIRST 基准细节:123 个专家任务、701 条原子标准、1.23 万评分点 — FellMentKE · 2026-09-04
- Respan 发布 P-1 隐私模型，PII 检测 F1 全面超越 AWS — CodeByPoonam · 2026-09-04
- OpenAI 开源仓库:GPT-6-Astra 用 Lean 形式化证明素数间隔 ≤186 — scaling01 · 2026-09-04
- 曝 OpenAI 今日发布 GPT-6-Astra,年内还有 Bel 再迎大跳级 — koltregaskes · 2026-09-04