principia labs

we are an AI research lab working on mathematics.

Most scientific breakthroughs begin as math problems. A new drug, a faster algorithm, a better material— somewhere at the root is a piece of mathematics someone had to work out by hand. That's slow. There aren't enough mathematicians, and the problems are getting harder. We train our own models, from scratch, to do original mathematical and scientific reasoning. We're a small research lab in San Francisco, backed by Modern Capital, Pebblebed, Align, and others. Our researchers have contributed to DeepSeek V3, FrontierMath, Kimi 1.5, and Tinker. Follow us on twitter, or find upcoming talks…

saved by

• Elizabeth Qiu
• Daniel Kiss
• Akira Yoshiyama
• yash raj
• Chris Cardoza

related reading

• expMath | DARPAdarpa.mil
• Caltech Mathathonmathathonchallenge.com
• How to Land a Frontier Lab Jobvladfeinberg.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Declaration — Math and AImathandai.org
• As Rocks May Think | Eric Jangevjang.com
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• The fall of the theorem economydavidbessis.substack.com
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com