Logic

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.

The Unabomber Was Right. Mathematicians Are the First to Be Replaced by AI.

A handwritten letter from the Unabomber predicted that mathematicians would be the first to be replaced by machinesβ€”not because they’re stupid, but because their work is the most mechanical. This article explores why pure logic is the most vulnerable skill in the age of AI, and what knowledge workers can actually do to survive.