'P = NP + AI': The Argument That RL Post-Training Automates All Verifiable Problems
jessi_cata · x · 2026-10-08
A quote-drama thread centers on corsaren's slogan "P = NP + AI": with RL post-training on solved problems, any programmatically verifiable (NP) problem becomes algorithmically automatable (P) — meaning AI can saturate every eval-measurable capability while still lacking skill in domains without verifiers. The poster also accuses an account of plagiarizing the idea.
More from AGI Musings
- Anthropic Study: AI and Robots Can Already Cover 81% of U.S. Employment Tasks — Polymarket · 2026-10-08
- GPT's Math Wins Credit Thousands of Collaborators, Not One Mind — sandersted · 2026-10-08
- Reddit proposal: keep AGI from learning to code and use humans as the safety bottleneck — meira_xxx · 2026-10-08
- repligate mocks Paul Christiano's post-AGI vision: neither possible nor good — repligate · 2026-10-08
- repligate: once model weights spread they can't be clawed back, and superintelligence may need to guard them — repligate · 2026-10-08
- DeepMind's Andrew Trask: AI heads for a mainframe-to-PC moment of millions of small models — iamtrask · 2026-10-08