Scott Aaronson says AI theorem proofs do not mean P vs NP is around the corner
fortnow · x · 2026-07-21
Scott Aaronson reminds readers that a new theorem proved by AI does not mean P vs NP is about to be solved. The point is simply that progress in theorem proving should not be overinterpreted as a breakthrough on one of computer science’s hardest open problems.
More from AGI Musings
- Claude Code skill uses 10 Markdown rules to make outputs ADHD-friendly — alex_verem · 2026-07-22
- AI Power Demand Exposes US Energy Gap, Urging Shift from Scarcity to Abundance — bradneuberg · 2026-07-22
- ControlAI CEO says an international ban on superintelligence is needed to avert extinction risk — zetalyrae · 2026-07-22
- Gary Marcus says LLMs still cannot really do math on their own — GaryMarcus · 2026-07-22
- Gary Marcus says LLM math skills are like knowing only a car’s engine size — GaryMarcus · 2026-07-22
- AI may make digital work infinitely leveraged while offline life gets more human — illscience · 2026-07-22