Mathematics Is No Longer a Human Discipline. Here’s the Proof.
Anthropic’s Claude just formalized Fermat’s Last Theorem in Lean, scooping top human mathematicians. But the real story isn’t that AI is doing math—it’s that the epistemic center of truth is shifting from human peer review to machine verification, leaving us unable to read the very proofs we rely on.