OpenAI 官方账号连发素数证明仓库,被指为 Astra 铺路
NoFaithlessness951 · reddit · 2026-09-04
Reddit 用户发现 OpenAI 的 GitHub 上出现了多个新立的 Lean 形式化证明仓库,包括 openai/PrimeGaps186、openai/LongGapsBetweenPrimes 和 openai/ten-proofs。其中 PrimeGaps186 对应最新的大素数间隔纪录(186),外界普遍将其解读为 GPT 系模型(Astra)参与数学前沿工作的公开痕迹,并视作 Astra 正式发布前的预热信号。
所属事件:GPT-6-Astra 用 Lean 证明素数间隔 ≤186，数日三破纪录(22 条相关)→
「模型」频道最新
- 花3个月实测:Anthropic 内部模型能否设计蝎子抗毒血清 — apoorvasriniva · 2026-10-21
- Space Bunny Alpha 实为 MiniMax M3.1 Flash：1M 上下文、主打性价比 — ZabihullahAtal · 2026-10-21
- Rork 界面现「Opus 5.5 Medium」选项,Anthropic 新模型或曝光 — rudrank · 2026-10-21
- RSI-Bench 首批任务通过验证管线,含 reward-hacking 检测与补丁 — SRSchmidgall · 2026-10-21
- 开发者吐槽 Anthropic 生物安全护栏：读篇论文就触发拦截 — robleclerc · 2026-10-21
- Reddit 用户称本地运行的未审查版 DeepSeek 对病毒提问毫无犹豫直接作答 — Only_Light_9817 · 2026-10-21