GPT-5.6连解多道埃尔德什数学难题
新智元 · wechat · 2026-07-20
OpenAI 的 GPT-5.6 Sol 模型在高级数学领域取得重大突破。它不仅用一页纸的篇幅成功证明了悬赏 35 年的埃尔德什 119 号问题（超越了此前 44 页的顶刊论文），还在不到 1 小时内通过 64 个子智能体并行给出了 Cycle Double Cover 猜想的完整证明。数学家评价其证明初等且精妙，指出 AI 的优势在于不知疲倦地尝试各种变体，突破了人类因直觉产生的“情绪性止损”。
所属事件:GPT-5.6连破历史数学难题，证明能力大幅提升(10 条相关)→
「模型」频道最新
- AI Sextet 活动:6 模型 14 天完全免费,含 DeepSeek/Qwen/GLM — airesearch12 · 2026-09-11
- Anthropic 发布迄今最详尽威胁情报报告:无人机蜂群滥用案例曝光 — soumitrashukla9 · 2026-09-11
- BullshitBench 榜单更新:GPT-6-Astra 领先历代 OpenAI 模型仍未及 Anthropic — scaling01 · 2026-09-11
- Agent Astra 在 GauntletBench 得 83%,成首个超人类基线的电脑操作 Agent — ducha_aiki · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11