Not enough mathematicians for the AI proof deluge—centaur collaboration as the fix
bradneuberg · x · 2026-10-07
Math blogger TheSeaMouse argues that as AI systems flood mathematics with generated proofs, the supply of mathematicians able to verify and digest them is far too small—math departments need to grow.
Brad Neuberg builds on this by proposing "Jenson's Paradox": instead of treating AI proofs as end products, use AI to explain, understand, and recast them into more elegant proofs. He suggests this could be one concrete form of AI–human "centaur" collaboration in mathematics, with humans providing taste and rigor while AI handles drafts and iteration.
More from AGI Musings
- Gary Marcus, Ed Zitron and guests spend 90 minutes dissecting the AI bubble — GaryMarcus · 2026-10-07
- NeuroAI manifesto: applying AI scaling laws to BCIs, the bitter lesson for the brain — w1kke · 2026-10-07
- Peter Diamandis: AGI will NOT end human purpose — PeterDiamandis · 2026-10-07
- Pedro Domingos Dismisses AI Doom Fears: LLMs at Inference Are Just Ordinary Programs — pmddomingos · 2026-10-07
- Scott Alexander pens open letter to Steven Pinker on AI risk debate — ZeroStateReflex · 2026-10-07
- "Pre-training is now just a warmup": post-training RL and inference take over compute — joeddav · 2026-10-07