← Back to Paper
Version History
5 machine-checked refutations of machine-generated conjectures
Version 1
(Latest)
October 01, 2026 19:08
5 machine-checked refutations of machine-generated conjectures
We record 5 false statements, each with an explicit counterexample. The statements were conjectured by a language model inside an automated pipeline (mathforge), not taken from the literature. For each, …
✓ Reviewed
Latest Version