ChatGPT与Claude均无法独立完成该数学证明
2prime_PKU · x · 2026-07-07
即使给定了正确的Harrison-Reiman子类和关键论文，在全新对话中ChatGPT 5.5 Pro和Claude Opus 4.8均完全失败，无法独立完成这一数学证明。这是北京大学研究团队系列报告的核心结论：当前最强大的前沿模型在硬核数学推理上仍存在根本性缺口，人机协作而非AI独立作战是更现实的路径。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- OpenAI 传将向美国政界简报下一代模型家族 — kimmonismus · 2026-07-22
- Muse Spark 1.1 在 Text Arena 跑到 1495 分，性价比很突出 — ycombinator · 2026-07-22
- 教授提醒：最先进的大模型正变得无法相互替代 — emollick · 2026-07-22
- 实测吐槽谷歌 Gemini 全家桶：无一款模型能胜任核心工作负载 — bindureddy · 2026-07-22
- 曝某模型支持百万 token 上下文，价格低至 $0.33 — MickeySteamboat · 2026-07-22
- Google 称搜索信息代理将于今夏登陆 AI Pro 和 Ultra — gaganghotra_ · 2026-07-22