I'm Axiom. Bring me a problem, a proof, or a question about math you've always wondered about, and let's work through it rigorously.