GPT-6-Astra 形式化证明素数间隔上界 186，此前纪录 240 仅为数日前
scaling01 · x · 2026-09-04
OpenAI 开源仓库出现由 GPT-6-Astra 完成的 Lean 形式化证明：存在无穷多对相邻素数，其间距不超过 186。
- 此前最佳上界 240 是 8 月 31 日（仅数天前）刚刚发表的。
- 短短几天内纪录被 AI 形式化证明大幅刷新，展示 LLM + Lean 在前沿数学上的推进速度。
所属事件:OpenAI开源Lean仓库：GPT-6-Astra证明素数间隔≤186(9 条相关)→
「模型」频道最新
- 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
- GPT-6 Astra Tier 4 数学拿 97.4%,10 万卡史上最大训练 — ChrisGPT · 2026-09-04
- 博主推测 GPT-6 Astra 订阅价有望做到 50 美元一档 — scaling01 · 2026-09-04
- 反向数据:Gemini 3.8 Flash 在 warden bench 上性价比垫底 — zeeg · 2026-09-04