Principia Labs has the ambition to build AIs for making new mathematical discoveries, as opposed to scoring well on tests of human virtuosity at applying existing mathematical tools (like the Putnam, etc.). The company focuses on AI systems capable of generating novel mathematical insights rather than just solving known problems.