Jobs at Axiom Math

AI mathematician: a reasoning engine that conjectures and proves theorems, with proofs checked in Lean