Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free

Maher Kallel, Mohamed El Louadi

In May 2026 an OpenAI model produced a counterexample to the Erdős unit distance conjecture. Five mathematicians published a human-verified version the same day, and the result ent…