OpenAI 数学家:自主数学的真正跃迁只有 o3 和 Sol
danintheory · x · 2026-09-04
OpenAI 数学家 Elliot Glazer 评价称,传闻中的 Astra 相比 Sol 并非代际跃迁(step change):所谓"10 大突破"的发布更多是 OpenAI 一次集中的能力引导(elicitation)工程,且部分本就是 Sol 可达成的。他的判断是:o3 和 Sol 才是自主数学(autonomous mathematics)领域真正的 step change,其余都只是 scaling 的长弧线延伸。
来自前沿实验室内部人员的模型代际判断,对评估模型能力叙事 vs 实际能力有参考价值。
「模型」频道最新
- OpenAI 新架构被指削弱思维链可监测性,安全圈警报拉响 — ShakeelHashim · 2026-09-04
- K2 Horizon 发布 6 款全开源模型,0.9B 到 375B 附全部训练代码与数据配方 — aliscodes · 2026-09-04
- 早期用户实测 GPT-6 Astra:8 分钟用 Blender 捏出狼人,17 分钟造出世界模拟器 — TheMoonMidas · 2026-09-04
- swyx 烧掉 200 亿 token 深测 Astra:训练模型、标注数据全包,成本低至每小时 6 美元 — charliermarsh · 2026-09-04
- OpenAI Kaiser:去年圣诞 Codex 突变连我们自己都说不清原因 — a_karvonen · 2026-09-04
- ARC-AGI 主办方：给模型套超强提示词，测的是人不是模型 — GregKamradt · 2026-09-04