Math is the language of the universe, and the bottleneck for discovery. From physics to biology to engineering, progress depends on mathematical insight. We are building AI systems that can reason, discover, and prove at the frontier of mathematical knowledge.
We combine large-scale pretraining with reinforcement learning to create models that can rederive and learn from the entire corpus of human mathematics. Our goal is automated mathematical discovery: AI that does the creative, generative work that was previously only possible for the world's best researchers—and can be deployed on the hardest problems in science and engineering.
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. Email us at harry@principialabs.org.