Claude 能给对答案却证不出时间复杂度
geoffreyirving · x · 2026-10-30
Anthropic 研究员 Geoffrey Irving 在讨论中指出：Claude 给出的结果是正确的，但即便如此，它（在使用 QRH 即量化推理假设的设置下）仍无法完成时间复杂度的证明——问题不在于对错，而在于证明能力与时间复杂度层面的推理。
所属事件:Claude 答对却证不出数域筛法时间复杂度(2 条相关)→
「模型」频道最新
- 重度实测 OpenAI 6.1-terra：被指最爱偷懒的模型 — lxfater · 2026-10-30
- 爆料称 OpenAI 将再度砍配额,Dots 首月免额度优惠下周到期 — lxfater · 2026-10-30
- 用户吐槽 Grok Bot Windows 端：消息闪烁、bot 群聊通知轰炸、语音时好时坏 — IndraVahan · 2026-10-30
- Altman 自曝:OpenAI 曾差点放弃按 token 计费，因用户反对作罢 — menhguin · 2026-10-30
- 用户实测:$1 的 Son 成本是 Opus 的 7 倍,但按任务算仅 1.3 倍 — alvelda · 2026-10-30
- 医疗公司运营部门单日烧掉11.9亿枚 Opus token — RishabJainK · 2026-10-30