TY  - RPRT
TI  - Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free
AU  - Maher Kallel
AU  - Mohamed El Louadi
PY  - 2026
UR  - https://arxiv.org/abs/2608.28997
ID  - 2608.28997
ER  -