Reasoning needs people who reason differently

We're looking for researchers and engineers across math and AI, reinforcement learning, ML infrastructure, and formal methods who want to work at the frontier where mathematical proof meets machine intelligence.

Axiom is building a self-improving AI mathematician that has already achieved a perfect score on the Putnam Competition, settled open research conjectures with zero human guidance, and is now transferring that rigor to verify every line of AI-generated code.

If you believe the future of trustworthy AI will be built on verification, not vibes — come build it with us.