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
- Controversial take: If EA doomers truly believe AI risk, why not stage a controlled AI hacking incident — AaronBergman18 · 2026-10-16
- Robots enter the tarmac at Japan's busiest airport for a roughly three-year live test — Aiden_Tech_Ai · 2026-10-16
- AI researcher reflects on losing her scientific identity as industry culture erodes autonomy — mariyaivasileva · 2026-10-16
- Aella draws the line on AI art: outsource labor, not creative choices — ZeroStateReflex · 2026-10-16
- AI Is Forcing Everyone Into Management—Until It Eats Middle Management Too — MonkZer0 · 2026-10-16
- Shogun 2 remaster review-bombed over AI-upscaled graphics, sparking dev debate — draginol · 2026-10-16