2 papers
cs.AI2026
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…
cs.CY2026
Cognitive Commons in the Age of Generative Intelligence: A Heterodox Appraisal of the Knowledge Erosion Hypothesis
Maher Kallel, Mohamed El Louadi
The proposition that agentic artificial intelligence may precipitate a depletion of collective cognitive capital has circulated with unusual velocity in both scholarly and public d…