GPT-6 Astra 宣称改进素数最大间隔，为 1930 年代以来首次
rapha_gl · x · 2026-09-04
在 GPT-6 Astra 发布活动中，研究团队宣布 Astra 给出了素数最大间隔问题的改进，将上界缩小约一个 log log n 因子——这是自 1930 年代以来的首个此类量级改进。
帖子还补充了背景：此前 Ford、Green、Konyagin、Maynard、Tao 等数学家的进展，以及 GPT 5.6 Sol 的贡献都是更小的 log log log n 因子。若结果经同行验证，将是 AI 在数学研究中取得标志性成果的又一案例。
所属事件:OpenAI 开源 GPT-6-Astra Lean 证明，素数间隔上界刷至 186(16 条相关)→
「模型」频道最新
- 「Opus 3 的魔力来自它的身体感」：AI 圈津津乐道的模型人格观察 — repligate · 2026-09-04
- GPT-6 Astra 花一周逐街复刻曼哈顿，在虚幻引擎里重建全城 — talkaboutdesign · 2026-09-04
- Ethan Mollick 用 GPT-6 自建数 GB 个人知识库，全程无人值守 — anpaure · 2026-09-04
- Astra 电脑操作能力猜想：休闲游戏可期，3D 大作仍难 — flowersslop · 2026-09-04
- 观察:新模型思维链可控性随 RL 训练时长反而改善 — SeunghyunSEO7 · 2026-09-04
- Astra 模型卡：可自主操控 CoT，规避监控器成功率惊人 — morqon · 2026-09-04