Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
arXiv:2608.28997v1 Announce Type: new Abstract: In May 2026 an OpenAI model produced a counterexample to the Erd\H{o}s unit distance conjecture. Five mathematicians published a human-verified version the same day, and the result entered the literature within weeks.
Builders evaluating Verification abundance, adjudication scarcity should verify the source before changing a production default. For researchers and builders, this is an early signal to fold into evaluation, model choice, or agent design.