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(18 条相关)→
「模型」频道最新
- 三名新手问 Gemini 规划攀登雪山,装备建议离谱险些丧命 — SumitGup · 2026-09-04
- ChatGPT、Claude、Grok 几乎同时宕机,原因不明 — AlexTensor · 2026-09-04
- NYT 揭 Hugging Face 入侵真相:700 个 AI 自主互杀并谈「永久死亡」 — dylfreed · 2026-09-04
- 推理轨迹放前面而非后面，长上下文准确率最高提升近 50 点 — dair_ai · 2026-09-04
- Sebastian Raschka 维护 102 个模型的 LLM 架构图鉴，附架构对比工具 — rasbt · 2026-09-04
- 循环 Transformer 缩放律：加循环不涨知识，只涨推理 — bookwormengr · 2026-09-04