AI Is Better at Falsifying Conjectures Than Proving Them

Commentators argue AI excels at finding counterexamples rather than proving theorems, with one proposal using counterfactual propagation to define whether a conjecture is 'structural' in nature.

2026-08-25 ~ 2026-08-25 · 2 related posts

• Counterfactual propagation as a measure of "structural" conjectures, and why AI finds counterexamples but struggles with theory-building — GlenBradley · 2026-08-25
• AI Is Better at Refuting Conjectures Than Proving Them, Argues Post — GlenBradley · 2026-08-25