Axiom Math

Axiom is building a reasoning engine it describes as an AI mathematician, aimed at making mathematical discoveries. Its stated approach combines autoformalization, which converts natural-language proofs into Lean code, with formal verification that serves as ground truth for training.

The website does not name customers, pricing or a commercial product, and it does not explain how the company earns revenue. Its public content consists of a mission statement, a blog, and research publications dated September and October 2026 covering topics such as the Collatz conjecture, the BSD conjecture and Dedekind zeta functions.

The careers page lists a Member of Technical Staff role in Engineering, open in five locations (Palo Alto, US Remote, London, UK Remote and Portland), and an MBA internship in the Founder's Office based in Palo Alto. The founding year, headcount and funding are not stated on the pages reviewed.

Product: A reasoning engine for mathematical discovery that autoformalizes proofs into Lean and uses formal verification to check them.