OpenAI 官方账号连发素数证明仓库,被指为 Astra 铺路
NoFaithlessness951 · reddit · 2026-09-04
Reddit 用户发现 OpenAI 的 GitHub 上出现了多个新立的 Lean 形式化证明仓库,包括 openai/PrimeGaps186、openai/LongGapsBetweenPrimes 和 openai/ten-proofs。其中 PrimeGaps186 对应最新的大素数间隔纪录(186),外界普遍将其解读为 GPT 系模型(Astra)参与数学前沿工作的公开痕迹,并视作 Astra 正式发布前的预热信号。
所属事件:OpenAI开源Lean仓库：GPT-6-Astra证明素数间隔≤186(9 条相关)→
「模型」频道最新
- OpenAI 发布 GPT-6 Astra，Brockman 称世界已进入 AGI 时代 — nordicinst · 2026-09-04
- GPT-6 Astra 先向部分机构开放,数日后扩展至 Plus/Pro/API — Angaisb_ · 2026-09-04
- GPT-6 Astra 跑分出炉,基准测试成绩解析 — CounterReady4774 · 2026-09-04
- 爆料称 OpenAI 发布 GPT-6 Astra，Brockman 称或为 AGI 到来 — kimmonismus · 2026-09-04
- Axios 证实 OpenAI 发布 GPT-6 Astra，官方称「代际跃迁」或近 AGI — Dr_Singularity · 2026-09-04
- 研究称标准 AI 基准测试系统性低估能力,多模型路由错误率降 46% — CodeByPoonam · 2026-09-04