Fortnow: no viable approach to P vs NP from either humans or machines
fortnow · x · 2026-09-09
Theoretical computer scientist Lance Fortnow offers a brief reality check: a solution to P vs NP is not around the corner — neither humans nor machines have even a viable approach. A sober counterpoint to expectations that AI will crack every hard math problem.
More from Research
- Self-trained model switches to weekly Sunday weight updates for richer reward gradients — cephaloform · 2026-09-09
- Preregistered study finds both writing skill and CS background predict vibe-coding performance — dair_ai · 2026-09-09
- Frontier AI now doing advanced math — and getting into academic priority disputes — anshulkundaje · 2026-09-09
- Dev uses Claude to visualize OpenAI's finite-time blowup construction for 3D Euler — CatAstro_Piyush · 2026-09-09
- SimpleMemVLA feeds full video history to a VLM, beating dedicated memory modules for long-horizon robot manipulation — openbmb · 2026-09-09
- Elicit modeling exercise estimates indoor/outdoor living costs ~2 years of lifespan — elicitorg · 2026-09-09