ChatGPT与Claude均无法独立完成该数学证明
2prime_PKU · x · 2026-07-07
即使给定了正确的Harrison-Reiman子类和关键论文，在全新对话中ChatGPT 5.5 Pro和Claude Opus 4.8均完全失败，无法独立完成这一数学证明。这是北京大学研究团队系列报告的核心结论：当前最强大的前沿模型在硬核数学推理上仍存在根本性缺口，人机协作而非AI独立作战是更现实的路径。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- 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
- 用户呼声下 DeepSeek V4 Pro API 宣布继续服务,计费不变 — teortaxesTex · 2026-09-11
- 第三方实测:DeepSeek V4.1 Flash 达 GPT-6 Astra 98% 分,成本仅 1.4% — ayushtweetshere · 2026-09-11