GPT-6 Astra 宣称改进素数最大间隔，为 1930 年代以来首次
rapha_gl · x · 2026-09-04
在 GPT-6 Astra 发布活动中，研究团队宣布 Astra 给出了素数最大间隔问题的改进，将上界缩小约一个 log log n 因子——这是自 1930 年代以来的首个此类量级改进。
帖子还补充了背景：此前 Ford、Green、Konyagin、Maynard、Tao 等数学家的进展，以及 GPT 5.6 Sol 的贡献都是更小的 log log log n 因子。若结果经同行验证，将是 AI 在数学研究中取得标志性成果的又一案例。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「模型」频道最新
- OpenRouter 数据：Opus 5.5 在 29 类任务中 20 类支出第一 — mmurph · 2026-10-21
- 小团队数月从零到百造出 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