Claude gets the right answer but can't prove time complexity
geoffreyirving · x · 2026-10-30
Anthropic researcher Geoffrey Irving notes that while Claude's answer is correct, it still cannot prove the time complexity — the gap is in proof ability, not correctness.
Related event: Claude Gets the Answer Right but Can't Prove Number Field Sieve Complexity(2 posts)→
More from Models
- Heavy user calls OpenAI's 6.1-terra the laziest model they've ever used — lxfater · 2026-10-30
- Rumors swirl: OpenAI quota cut next week as Dots' first-month free allowance promo ends — lxfater · 2026-10-30
- Grok Bot on Windows plagued by flashing messages, bot spam and voice issues — IndraVahan · 2026-10-30
- Altman: OpenAI Almost Ditched Token Pricing for an AWS-Style Bill, Users Refused — menhguin · 2026-10-30
- User math: $1 of Son costs 7x Opus on $20 plan, but tasks only 1.3x — alvelda · 2026-10-30
- Healthcare company's ops team burns 1.2B Opus tokens in a single day — RishabJainK · 2026-10-30