用户称 GPT-6 Astra 一夜攻克其研究组一个月未解的 Seymour 猜想定理
morqon · x · 2026-09-06
数学研究者 jbrukh 连发两帖描述新一代模型 Astra（被称为 GPT-6）的惊人研究能力：
- 此前 Astra 在约 28 分钟内、且不参考任何已有进展的情况下，重新推导出他花了数天持续计算才得到的 Seymour 第二邻域猜想相关结果，作者自承「有点害怕」。
- 昨晚 Astra 在无人监督下一夜之间推进了整个研究计划：找到一套新方法论，使整个目标定理族的证明变得（看似）容易得多，并完成了他们花约一个月都没攻下的目标定理；此前论文里数页的证明如今可压缩成一段。
- 作者推测其思路是不断积累关于猜想反例的结构性观察，直到获得某个简化一切的洞见。Astra 自己觉得结果「没什么大不了」，没有提醒作者就继续工作了。
- 作者认为这一晚的结果足以发表一篇后续论文，但打算先看能把整个定理族推进多远。
注：内容为当事人单方面陈述，结果尚未经同行评审。
「模型」频道最新
- Langford 讨论 Transformer 深层信息丢弃与梯度下降的架构含义 — JohnCLangford · 2026-09-06
- OpenAI 将建自动关停能力，谁来触发、误关怎么办存疑 — VraserX · 2026-09-06
- 用户吐槽 F5.1 半夜悄悄降级：睡着时被换回 Opus 5/4.8 跑数日证明 — DimitrisPapail · 2026-09-06
- 各家 API 提供 DeepSeek V4 Pro 0813，价格差不到一美分 — DanielLockyer · 2026-09-06
- 传闻称 Astra 低档到 xhigh 推理差距仅 1% — BLUECOW009 · 2026-09-06
- 从"下一个词预测器"到 GPT-6 Astra:传言引热议 — DeryaTR_ · 2026-09-06