Polymarket 称博士生用 GPT-5.6 Sol 五天解 6 个 Erdős 问题
Polymarket · x · 2026-07-24
Polymarket 发帖称,一名数学博士生借助 GPT-5.6 Sol 在 5 天内解决了 6 个 Erdős 开放问题。
如果属实,这会是模型在高阶数学能力上的一个非常醒目的信号;不过原帖本身只是简短快讯,没有附带更多证明细节。
所属事件:研究者用 GPT-5.6 Sol 五天连解 6 个 Erdős 数学问题(6 条相关)→
「模型」频道最新
- Kimi K3.1 Pro 登顶 MathArena 开源模型,整体逼近 GPT-5.5 — teortaxesTex · 2026-10-26
- Ruff 作者感叹:前沿模型能在任何软件里找到无穷多 bug — charliermarsh · 2026-10-26
- 开发者实测同一 skill 跨 Opus 5.5 与 Sol 6.1:指令遵循表现参差 — lucasmeijer · 2026-10-26
- supermemory 发布 learner-1:面向任意模型的持续学习方案 — julianweisser · 2026-10-26
- Anthropic 称 Opus 5.5 单任务成本较 Opus 5 降约 40% — taufiqintech · 2026-10-26
- 27 家 AI 搜索接口横评:前 12 名只差 7 分,价格却差近 7 倍 — FinanceYF5 · 2026-10-26