Mathematicians reduced to checking AI proofs? A debate on math in the AI era
zetalyrae · x · 2026-10-08
A debate on the fate of mathematicians in the AI era: dwlz pushes back on the gloom — who will verify all these AI-generated proofs? Certainly not some 20-something engineer at a big lab who didn't know what a field was until yesterday.
cszabla quotes and offers the pessimistic counterpoint: mathematicians have gone from people who could make great discoveries to people whose lives are reduced to checking AI work — and even then they're told they're unnecessary, since AI can build on its own proofs without requiring human understanding.
The exchange captures the core anxiety over the widening gap between formal verification and human comprehension.
More from AGI Musings
- LLMs reproduce classic rat experiment, seeking steered-positive zones and shutting off bad states — awjuliani · 2026-10-08
- Why insane model capabilities haven't translated into real-world impact — benzevgreen · 2026-10-08
- The simple case for how AI spending is pushing up Treasury rates via inflation — soumitrashukla9 · 2026-10-08
- Satya Nadella: Insurers, not protocols, will price the liability of AI agents acting for you — rohanpaul_ai · 2026-10-08
- After math falls: AI compute may pivot from learning to simulation, argues researcher — inductionheads · 2026-10-08
- The classic AI-era trope: 'STEM is automatable, but the humanities are special' — _onionesque · 2026-10-08