数学家称 GPT 5.6 Sol 证明表现出色
AlexKontorovich · x · 2026-07-19
Alex Kontorovich 转发 Thomas F. Bloom 的看法：**GPT 5.6 Sol** 目前是他见过“数学味”最有意思的新模型之一。 他表示，自己详细检查过的那些新证明主张**都成立**，而且其中还包含一些有意思的想法。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- Kimi K3 软件任务峰值 89.4%，Fable 5 稳定性略高 — FinanceYF5 · 2026-07-21
- Kimi K3 只在 Go 领先，Fable 5 包揽其余四种语言 — FinanceYF5 · 2026-07-21
- Kimi K3 pass@4 达到 89.4%，超过 GPT-5.6 Sol — FinanceYF5 · 2026-07-21
- Kimi K3 与 Fable 5 的差距已不像过去那样明显 — FinanceYF5 · 2026-07-21
- 一条转发称 Claude 现在能在几分钟内做完整 App — hey_abusiddik · 2026-07-21
- Qwen3.8 Max Preview 被吐槽思考长达 10 到 30 分钟 — vista8 · 2026-07-21