Axiom (Axiom Math) is a Palo Alto-based AI lab building a self-improving, superintelligent reasoner - starting with an AI mathematician. Its AxiomProver system invents new theorems, proves them formally in Lean, and verifies them before they reach a human, aiming to give AI the one thing language models lack: provable correctness. Founded in 2025 by mathematician Carina Hong, the company has raised $264M and claims machine-generated proofs accepted by peer-reviewed journals.
Errette Dunn is Co-Founder and CEO of Rever, a San Francisco-based frontline intelligence platform that helps global industrial companies unlock the creative potential of their deskless workers. Drawing on hands-on stints at Toyota and Airbus, he spent a decade coaching operations leaders across 17 countries before co-founding Rever in 2015. Today the company-backed by Y Combinator, Sequoia, Ulu Ventures, and Mundi Ventures-serves world-class manufacturers like Volkswagen, Grupo Bimbo, and Hyundai in more than 70 countries, giving factory floor workers an AI-powered mobile app to photograph problems, build solutions, and earn recognition in minutes.