AI is Making Mathematical Proofs Worthless. Mathematicians Are Panicking.
AI is making proof generation cheap, exposing mathematics’ over-optimization around measurable deliverables. As the field retreats to ‘human intuition,’ it faces a terrifying reality: AI will automate that too. The real crisis isn’t about what AI can’t do, but why we defined our worth by competence at all.