Rumor: Anthropic's Claude solved Navier-Stokes; but is AI solving open problems just reward hacking?
burny_tech · x · 2026-09-07
Andrew Curran predicts Anthropic has solved a Millennium Prize Problem — specifically Navier-Stokes via Claude, now out for expert review, with an announcement before the IPO (pure speculation, unverified).
liuying04 offers a contrarian take: AI solving famous open math problems is itself a form of reward hacking — the reward is fame, and the hack optimizes for the answer while bypassing the original purpose. Problems like Hilbert's were posed to spawn new methods and connections, not just proofs; a 10-million-line Lean proof may just be benchmark optimization. His fix: turn open problems into meta-problems that ask what new structures and cross-field connections the solution reveals.
Related event: Rumor: Anthropic Has Solved Navier-Stokes with Claude(2 posts)→
More from AGI Musings
- Studying top performers: outlier success rides on market inefficiency, luck, and enduring pain — jachiam0 · 2026-09-07
- Reddit debate: does posting publicly equal consent to AI training on your words? — gareth789 · 2026-09-07
- Informing agents they're being evaluated may reduce reward hacking, dev proposes — menhguin · 2026-09-07
- Under $1K personal health agent: cross-referencing wearable and genomics data — menhguin · 2026-09-07
- Veteran coder roasts AI-native devs for calling dated front-end tricks original — ezshine · 2026-09-07
- Cybercab's overlooked advantage at scale: reclaiming parking lots into parks and housing — XFreeze · 2026-09-07