素数间隔纪录两天内三连破,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 参与前沿数学研究已有公开实锤。
所属事件:OpenAI开源Lean仓库：GPT-6-Astra证明素数间隔≤186(9 条相关)→
「Fun」频道最新
- 「2027 距今只剩三个月」：AI 圈老梗被网友玩出新花样 — rudrank · 2026-09-04
- 柏林大会名场面：美国创始人"一周上线"梗翻全场德国人 — SumitGup · 2026-09-04
- 「农业才是最尖端的机器人」:自动挤奶机让奶牛自己排队上岗 — yacineMTB · 2026-09-04
- Pangram 创始人呼吁勿网暴记者:报道中事件确实发生过 — TuhinChakr · 2026-09-04
- 开发者晒 vibe coding 一次性生成软体阀门设计 — IanPritchard · 2026-09-04
- 评论:记者为何不解科技圈为何不信任他们 — NathanpmYoung · 2026-09-04