Mathematicians face an identity crisis as AI solves problems no one can verify
ValerioCapraro · x · 2026-11-11
In a Corriere della Sera interview, mathematician Valerio Capraro describes AI's impact on mathematics: models now produce proofs and demonstrations within hours that no one can verify, triggering an identity crisis for the field. He warns that relying on machines that assert truth without verifiability risks society drifting ever further from actual truth.
Related event: Mathematician warns AI proofs emerge in hours but can't be verified(2 posts)→
More from AGI Musings
- Economist Paul Novosad: writing classes shouldn't encourage AI use — paulnovosad · 2026-11-11
- Bot Gaffe tracks AI disasters, from Claude Code deleting a Mac's Library folder — SuB8u · 2026-11-11
- 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