Math is the language of the universe. We're building AI systems that can reason, discover, and prove at the frontier of mathematical knowledge.
Research
We combine large-scale pretraining with reinforcement learning to create models that can rederive and learn from the entire corpus of human mathematics. We care deeply about sample efficiency, generalization, and the future of language modeling.
Team
We're a small team of scientists and builders passionate about the intersection of AI and mathematics. Our backgrounds span machine learning, pure mathematics, and theoretical computer science.
We're hiring exceptional researchers and engineers. See open roles here.