素数间隔纪录两天内三连破,GPT 6 Astra 刷到 186
teortaxesTex · x · 2026-09-04
AI 圈热议数学纪录被「速通」:无穷多素数间隔的上界,2014 年由 Polymath 人类协作做到 246;两天前 Julia Stadlmann 证明 240;数小时前 AxiomMath 给出 212;随后 OpenAI 的 GPT 6「Astra」直接把纪录推到 186。原推感叹「我们在速通数学了」,转发者称场面「毛骨悚然」。结合 OpenAI 官方 GitHub 上出现的 PrimeGaps186 等 Lean 证明仓库,Astra 参与前沿数学研究已有公开实锤。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「Fun」频道最新
- DevRel 进化史：开发者关系→Builder Relations→Agent Relations — Saboo_Shubham_ · 2026-10-21
- 客服拒与 AI 对话，用户的 agent 隐瞒身份继续维权 Xfinity — MoonL88537 · 2026-10-21
- tszzl 趣评《星河战队》：讽刺片被观众当成认真片 — tszzl · 2026-10-21
- DeepSeek Flash 纯代码生成像素画,效果惊艳 — victormustar · 2026-10-21
- 一条提示词直出 Blender 素材：Voyager+Opus 5.5 全程零配置 — ravisparikh · 2026-10-21
- AI 创业者的推销私信有多离谱：「把宇宙折进虫洞塞进上下文」 — altryne · 2026-10-21