GPT-6 Astra 将孪生素数间隔从 246 推进至 186,附 Lean 形式化证明
weijie444 · x · 2026-09-04
开发者 weijie444 宣布 GPT-6 Astra 在孪生素数猜想上取得实质进展,将已知的素数间隔上限从 246 推进到 186,并附 Lean 形式化。作者称自己 9 岁时便被孪生素数猜想与张益唐的故事打动,此次亲眼见证模型在自己敬畏一生的问题上推进纪录,感觉超现实。
- 帖子附上了论文链接,以及模型的思维链(Chain of Thought)记录,显示这一改进是通过迭代逐步实现的
- 这是前沿模型在严肃数学研究问题上产出可形式化验证成果的罕见案例
所属事件: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