数学家称 GPT 5.6 Sol 证明表现出色
AlexKontorovich · x · 2026-07-19
Alex Kontorovich 转发 Thomas F. Bloom 的看法：GPT 5.6 Sol 目前是他见过“数学味”最有意思的新模型之一。
他表示，自己详细检查过的那些新证明主张都成立，而且其中还包含一些有意思的想法。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11
- TheZhi 发起调查:Fable 5.1 与 Astra 发布后,编码模型选择变了吗 — TheZvi · 2026-09-11
- antirez 谈 Anthropic 禁止未成年人使用 Claude — antirez · 2026-09-11
- Engram 随机读取不适合 SSD，CPU 内存低延迟共享或成正解 — bookwormengr · 2026-09-11
- RTX 3060 全本地语音助手复刻 GPT Live 官方演示，6 分钟跑完全程 — liampetti · 2026-09-11
- 曝 Meta Muse Agent 内置邀请码逻辑,或携额外免费额度上线 — testingcatalog · 2026-09-11