Back to Latent SpaceRJ Haneke
HostHost of Latent Space.
2 episodes
Scaling Past Informal AI - Carina Hong, Axiom Math
Jun 4, 2026 · 1:33:04
Carina Hong, CEO of Axiom Math, argues that the path to superintelligence runs through formal verification, not informal RL, and that Lean-based systems can compound brilliance rather than just patch hallucinations. She explains how Axiom’s seven-month-old company achieved a perfect Putnam score and a $200M Series A by using verified generation to give better training signal, and lays out a vision where verification becomes the default infrastructure for all AI-generated code and reasoning.
🔬 The Bitter Lesson is Coming for Proteins - Alex Rives, BioHub
Jun 1, 2026 · 1:10:12
Alex Rives, head of science at BioHub, argues that scaling laws and the bitter lesson apply to protein biology, as demonstrated by the open-source release of ESM-C and ESMFold 2. He explains how training on billions of metagenomic sequences enabled a world model that designs antibodies and predicts structures without multiple sequence alignments, and outlines BioHub's vision for a virtual cell built on scaled interventional data, spatial biology, and feedback loops.