GPT-6-Astra 形式化证明素数间隔上界 186，此前纪录 240 仅为数日前
scaling01 · x · 2026-09-04
OpenAI 开源仓库出现由 GPT-6-Astra 完成的 Lean 形式化证明：存在无穷多对相邻素数，其间距不超过 186。
- 此前最佳上界 240 是 8 月 31 日（仅数天前）刚刚发表的。
- 短短几天内纪录被 AI 形式化证明大幅刷新，展示 LLM + Lean 在前沿数学上的推进速度。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「模型」频道最新
- 波兰开发者回应质疑:开源旗舰模型基于 Gemma,非简单 LoRA 微调 — ColinWPLewis · 2026-10-21
- X 热榜三条 AI 速览：Holon-S1 预测癌片基因活性、decision models 走红 — iScienceLuvr · 2026-10-21
- OpenAI 多语言编程基准 MultiLangBench：PHP 拿下单项最高 91.3% — ricklamers · 2026-10-21
- 具身评测 704 票 Elo：Claude Opus 5.5 以 1379 分领跑机器人操作 — qinzytech · 2026-10-21
- DeepSeek V4 被评「神级 infra + 四流 ML」:一次发布堆 7 个技巧 20 个补丁 — teortaxesTex · 2026-10-21
- GPT-6 Astra 与 Claude Fable 5.1 写论文，专家评审仍全部拒稿 — sayashk · 2026-10-21