ChatGPT与Claude均无法独立完成该数学证明
2prime_PKU · x · 2026-07-07
即使给定了正确的Harrison-Reiman子类和关键论文，在全新对话中ChatGPT 5.5 Pro和Claude Opus 4.8均完全失败，无法独立完成这一数学证明。这是北京大学研究团队系列报告的核心结论：当前最强大的前沿模型在硬核数学推理上仍存在根本性缺口，人机协作而非AI独立作战是更现实的路径。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- Debate Benchmark 新榜：Kimi K3.1 Pro 不升反降，DeepSeek 1017 微涨 — teortaxesTex · 2026-10-27
- 用 LLM 研究 4 小时创业点子，产出的却是一套 nonsense 产品论 — annetgriffin · 2026-10-27
- 开发者吐槽 Claude 烧 token：同样工作 GPT 省 3 倍用量更便宜 — haider1 · 2026-10-27
- 非刷榜评测中 MiniMax 表现比肩 Claude 4.5,引发社区关注 — teortaxesTex · 2026-10-27
- 实测算账：GPT-6.1 Terra 半价却更费 token，反而比 Sol 更贵 — lordpuddingcup · 2026-10-27
- 爆料称 Fable 5.5 大概率本周内发布 — kimmonismus · 2026-10-27