数月数学证明工作，Astra 26分钟给出38页常数规模版本
kfountou · x · 2026-09-06
两位研究者称花数月才把一个证明的字母表规模从指数级降到多项式级，而 Astra 在 26 分钟内直接给出 38 页的常数规模版本及多个扩展。展示前沿模型在数学研究上的惊人能力。
「模型」频道最新
- 新 Codex 压缩机制神似留言板,作者猜测诱导模型写“给其他 agent 的笔记” — mariofilhoml · 2026-09-06
- GPT-6 Astra 引爆 AGI 争论：ARC-AGI-3 成绩 99.9% 与 62.7% 的口径之争 — johnseach · 2026-09-06
- Kimi K3 复刻游戏菜单视觉超 GPT-6，但耗时 3.5 小时约 5 倍 — ChrisGPT · 2026-09-06
- 用户实测 OpenAI Astra 电脑操作:一道 PPT 任务耗时近 15 分钟 — bookwormengr · 2026-09-06
- Elliot Glazer 辟谣：Claude 证明 Navier-Stokes 与 Hodge 猜想纯属谣传 — basedjensen · 2026-09-06
- OpenAI 发布迄今最强模型 GPT-6 Astra：可自主上网、建站、做任务 — CreamHoliday4754 · 2026-09-06