Feb 05, 2026

She Raised $64M to Build an AI Math Prodigy | Carina Hong, CEO of Axiom

Carina Hong, Founder & CEO of Axiom, discusses building a self-improving AI reasoning engine that combines generation and verification. Starting with formal mathematics, Axiom's system has achieved superhuman results on the notoriously difficult Putnam Exam by leveraging formal languages like Lean to overcome the probabilistic and unverifiable nature of standard LLMs. Hong explores how this technology can solve major bottlenecks in hardware and software verification, code migration, and database consistency, and what it means for the future of mathematical research.

Jan 29, 2026

The Lean Tech Manifesto • Fabrice Bernhard & Steve Pereira • GOTO 2026

Fabrice Bernhard, co-author of 'The Lean Tech Manifesto,' discusses the limitations of Agile at scale and how Lean thinking provides a robust framework for growth. The summary explores the symbiotic relationship between the two methodologies, debunks common misconceptions, and introduces the concept of tech-enabled networks of teams as a modern organizational model, all while emphasizing a human-centric approach to achieving sustainable outcomes.