Palo Alto, CA, USA · San Francisco, CA, USA
Axiom develops artificial intelligence systems designed to solve complex mathematical problems and produce formally verified proofs. The platform processes mathematical questions written in natural language, converts them into formal proof structures, and applies automated reasoning to generate step-by-step solutions. Its system integrates modules that translate problems into formal languages, propose intermediate lemmas, and assemble proofs that are verified through proof-checking tools.
