GPT-6 Astra 将素数间隔上界从 246 推进至 186 并过 Lean 验证
机器之心 · wechat · 2026-09-04
OpenAI 发布 GPT-6 Astra 之际，OpenAI 研究员、宾大教授苏炜杰宣布：GPT-6 Astra 在有界素数间隔问题上将上界从 246 推进至 186，并完成 Lean 形式化验证，论文《Improved Short Gaps Between Primes》已公开。
- 问题背景：素数间隔研究从张益唐 2013 年的 7000 万上界起步，经 Maynard、陶哲轩等人改进后长期停留在 246。GPT-6 Astra 通过探索新的因子分解条件、扩展 Maynard-Tao/Selberg 筛权重使用范围，在庞大搜索空间中找到此前未被采用的证明组合，OpenAI 已开源对应的 Lean 4 形式化项目。
- 同日竞速：Axiom 宣布证明上界 212；Anthropic 称 Claude 团队此前已完成 188 的形式化证明——AI 数学研究的竞赛已然白热化。
- 对照：人类数学家 Julia Stadlmann 同期将上界推进到 240，众人反而因「纯人类完成」感到意外，折射出 AI 已从辅助工具走向研究伙伴的行业预期变化。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「模型」频道最新
- 小团队数月从零到百造出 LLM，称 Meta 开源将迎第二纪元 — TimDarcet · 2026-10-21
- Muse Glimmer-30B 配 DFlash drafter：分块 16 token 提速推理 — TimDarcet · 2026-10-21
- EvoPress 量化让 30B 模型从 56GB 压到 19GB，精度几乎不掉 — TimDarcet · 2026-10-21
- Muse Glimmer-30B 雷达图曝光：对标 Gemma4-31B 与 Qwen3.6-27B — TimDarcet · 2026-10-21
- 隐私评测 CIMemories：Muse Glimmer-30B 泄密率 26.4 优于 Qwen 的 53.4 — TimDarcet · 2026-10-21
- 长上下文蒸馏模型 Muse Glimmer 跑分曝光,AA-LCR 达 80 分 — TimDarcet · 2026-10-21