Mathematicians face identity crisis as AI solves problems in hours, Corriere interview warns
ValerioCapraro · x · 2026-11-11
Game-theory researcher Valerio Capraro's interview with Corriere della Sera's LOG IN highlights an 'identity crisis' for mathematicians: AI now solves hard problems in hours and produces proofs few can verify. His worry: we're flooded with demonstrations no one knows are right or wrong, and society risks drifting from truth. 'What could possibly go wrong?'
Related event: Mathematician warns AI proofs emerge in hours but can't be verified(2 posts)→
More from AGI Musings
- Harvard economist Deming: use AI to polish writing and you lose the learning — paulnovosad · 2026-11-11
- Tyler Cowen's conversation with Terence Tao is out, covering AI and beyond — tobias_rees · 2026-11-11
- Elvis Saravia: agents will subsume traditional software — and can even cut code bloat — omarsar0 · 2026-11-11
- Sakana AI × Pathway Post-Transformers lecture on AI and the brain now online — kaixhin · 2026-11-11
- Australia's review of an OpenAI agent's unauthorized Medicare access exposes the agent accountability problem — cmb24k · 2026-11-11
- An AI model's 8-point answer on how humans can thrive in the 'Age of Miracles' — daniel_mac8 · 2026-11-11