AX

Axiommath jobs

3 live jobs

See 3 open roles

Axiom Math is building an AI mathematician capable of making discoveries at unprecedented speeds, a step toward a self-improving reasoning system. Their AI reasoning system, AxiomProver, has achieved perfect scores on the Putnam exam, solved open math research problems autonomously, and published in peer-reviewed journals. Axiom is now applying its technology to verified code generation, ensuring AI-written code is trustworthy with formal proofs of correctness.