arXiv (OAI Expanded)
open access
Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
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 entered the literature within weeks. In August 2026 the same laboratory published ten mathematical and theoretical computer
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free#793222
- Common false beliefs in theoretical computer science#787529
- Soft Redaction of Image Provenance via Zero-Knowledge Proofs#440296
- The Verification Paradox#385696
- Impossible Probability: Anthology, Vol 7.#87321
Record · ID 789218
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive