GPT-6 Astra 把孪生素数间距上界从 246 推进到 186
量子位 · wechat · 2026-09-04
OpenAI 发布 GPT-6 Astra 后首个科研成果出炉：一篇论文宣布 Astra 在孪生素数猜想方向取得进展，用 Lean 4 形式化证明把连续素数间距上界从 246 推到 186。
- 数论脉络:2013 年张益唐证明存在无穷多对间距不超过 7000 万的素数，Polymath8a 优化到 4680，Maynard 与陶哲轩的多维 Selberg 筛法压到 600 以下，Polymath8b 停在 246。Astra 的突破口是利用此前因计算量太大未被采用的「三重稠密整除性」模：发现当 D、E 的大质因子部分满足特定大小约束时，其最小公倍数自动满足三重稠密整除性，从而允许更大的筛法支撑集。
- 论文构造了 40 元素容许元组，证明存在无穷多对间距不超过 186 的素数；附带 Python-FLINT 独立验证程序。
- 数学家 Bartosz Naskręcki 实测后称是「量子级别的飞跃」：可以边与模型对话边在 Lean 里实时验证命题，「aha」后面跟着绿色对勾。
- 3D 生成同样火爆：有人用照片在 Blender 生成可 60fps 运行的完整 3D 别墅，Matt Shumer 用一周在 UE5 搭曼哈顿街区，Ethan Mollick 让 Astra 自主完成带音频导览的亚历山大图书馆历史模拟。
- Codex 0.153.1 支持 Astra，新增跨上下文窗口的「可搜索笔记」机制，替代易丢信息的压缩摘要，相当于给 agent 装了外挂记忆。
- 彩蛋:Schmidhuber 照例出来说 recurrent depth 本质是他 2015 年论文的内容。
所属事件: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