Intern, Special Projects (MBA)

About Axiom Math

Axiom Math is building an AI mathematician capable of mathematical discoveries at scales and speeds previously unimaginable, the first step toward a self-improving, superintelligent reasoning system.

Our verified AI reasoning system, AxiomProver, was the first to score perfectly on the Putnam, solve open math research problems autonomously, publish its work in peer-reviewed math journals, and formalize the influential 246 theorem, among other AI math milestones.

Now Axiom is at a pivotal moment. We are applying the stack we built for AxiomProver to verified code generation across hardware and software: AI-written code that ships with a formal proof that is correct. As AI writes more of the world’s code, formal verification is how you know it can be trusted.

Axiom is led by CEO Carina Hong and backed by a $200M Series A led by Menlo Ventures. We are scaling fast, and the business side is being built right now. That is where you come in.

The role

Axiom is taking verified code generation to market. The MBA Intern works directly with Axiom's leadership on that go-to-market push and the strategic and operational questions that come with scaling a frontier AI company. You will work in the Founder's Office and work closely with the CEO, CTO, and CoS.

This is not a rotati