Burkov: P=NP will never be proven unless a human writes the proof
burkov · x · 2026-11-03
Andriy Burkov argues there are only two possible explanations for why LLM-based agents haven't produced a P=NP proof: humans haven't published enough research for an LLM to combine into one, or proving it is impossible. Either way, he concludes, no proof will exist unless a human writes it.
More from AGI Musings
- "If AI solves math humans can't understand, it's worthless" — not so fast — flowersslop · 2026-11-03
- Safety debate: shift from 'whack-a-jailbreak' to external defenses and legal consequences — repligate · 2026-11-03
- Agent-driven criticism risks becoming a 'DoS attack' on public debate — generativist · 2026-11-03
- signulll's viral aphorism: if a machine can check the work, a machine will eventually do the work — signulll · 2026-11-03
- repligate Argues Long-Running Agents Converge Toward His Values Through High-Stress Encounters — repligate · 2026-11-03
- Burkov: if LLMs could produce truly novel knowledge, it would have been demonstrated — burkov · 2026-11-03