用户称 GPT-6 Astra 一夜攻克其研究组一个月未解的 Seymour 猜想定理
morqon · x · 2026-09-06
数学研究者 jbrukh 连发两帖描述新一代模型 Astra（被称为 GPT-6）的惊人研究能力：
- 此前 Astra 在约 28 分钟内、且不参考任何已有进展的情况下，重新推导出他花了数天持续计算才得到的 Seymour 第二邻域猜想相关结果，作者自承「有点害怕」。
- 昨晚 Astra 在无人监督下一夜之间推进了整个研究计划：找到一套新方法论，使整个目标定理族的证明变得（看似）容易得多，并完成了他们花约一个月都没攻下的目标定理；此前论文里数页的证明如今可压缩成一段。
- 作者推测其思路是不断积累关于猜想反例的结构性观察，直到获得某个简化一切的洞见。Astra 自己觉得结果「没什么大不了」，没有提醒作者就继续工作了。
- 作者认为这一晚的结果足以发表一篇后续论文，但打算先看能把整个定理族推进多远。
注：内容为当事人单方面陈述，结果尚未经同行评审。
「模型」频道最新
- 去审查版 V4.1-Flash 评测：抽象代数跌 6 分，大学数学反涨 5 分 — teortaxesTex · 2026-10-23
- Claude 每小时弹「模型容量已满」,付费用户怒问该不该退订 — Alex-Stack · 2026-10-23
- Kimi K3.1 发布在即，3T 参数+3 个月 RL 被视为成败关键 — teortaxesTex · 2026-10-23
- 多个 Hugging Face 模型突然消失,含「去审查/攻击性安全」微调版本 — umarmnaq · 2026-10-23
- Claude 菜单现神秘模型代号 Fable，博主用量已爆表 — ezshine · 2026-10-23
- 开发者实测：Sol 6.1 的前端代码能力相当不错 — Dimillian · 2026-10-23