{"type": "article", "title": "Verification abundance, adjudication scarcity: what happens to mathematical knowledge when proof checking becomes free", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/verification-abundance-adjudication-scarcity-what-happens-to-mathematical-when", "original_source": "https://www.machinebrief.com/news/verification-abundance-adjudication-scarcity-what-happens-to-anbh", "published": "2026-09-01T04:00:00+00:00", "accessed": "2026-09-01", "id": "verification-abundance-adjudication-scarcity-what-happens-to-mathematical-when"}