GPT-6 Astra 将孪生素数间隙推进至 186，附 Lean 形式化
weijie444 · x · 2026-09-04
开发者 weijie444 宣布其成果被 GPT-6 Astra 官方发布提及：模型将素数间隙（prime gap）从 246 推进到 186，并附带 Lean 形式化证明。
- 作者自述 9 岁时初闻孪生素数猜想，一直受张益唐故事激励；这次亲眼见证模型在自己敬畏的难题上取得进展，称“超现实的一夜”
- 该进展被收录进 OpenAI GPT-6 Astra 的官方发布材料，属 AI4Science/数学形式化方向的标志性案例
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「研究」频道最新
- 航空业的数据溯源思路：智能体如何在图结构数据上拼证据 — colinmcnamara · 2026-10-21
- SFT 阶段配方公开:指令/推理/代码/数学混训,不做多 epoch — TimDarcet · 2026-10-21
- 训练中期阶段揭秘:扩到 131k 上下文,「不要 logit,只要 token」 — TimDarcet · 2026-10-21
- 数学家 Daniel Litt 认输后谈 AI：能解题，但自动化不了数学研究 — ziv_ravid · 2026-10-21
- AI 制药真实现状：不是一句话治癌，而是海量结合筛选加毒性过滤 — burny_tech · 2026-10-21
- PyTorch 官方详解 IBM Spyre 后端：KTIR 与数据流调度器如何跑通 AI 加速器 — PyTorch · 2026-10-21