AI Is Better at Refuting Conjectures Than Proving Them, Argues Post
GlenBradley · x · 2026-08-25
The poster argues refuting a conjecture only requires one counterexample, while proving it demands a generalized principle covering all cases—so the former is far easier. He claims AI is currently better at finding what's wrong than proving what's right, though it is evolving quickly. A reply extends the idea, proposing to characterize "structural" conjectures via counterfactual propagation: assume the conjecture false and measure how much of the surrounding epistemic dependency graph must be revised.
Related event: AI Is Better at Falsifying Conjectures Than Proving Them(2 posts)→
More from AGI Musings
- SF Lecture: How trillions of agents will reconfigure society — tylerjdunn · 2026-08-25
- Transformer architecture unifies fields; anti-AI arguments fall flat — astralmatrix · 2026-08-25
- Professor Predicts AI Will Cure 99% of Diseases in a Decade, Reverse Aging in 15 — DeryaTR_ · 2026-08-25
- Andy Masley: Most AI Company Employees Truly Believe in the Risks They Discuss — AndyMasley · 2026-08-25
- AI engineers' existential concerns remain underrated — NathanpmYoung · 2026-08-25
- Steve Yegge burns $122k/month in tokens running a 50-agent org, predicts AI legal systems over sandboxes — Steve_Yegge · 2026-08-25