Scaling Past Informal AI - Carina Hong, Axiom Math
Source
youtube.com
Author
Latent Space
Date
Why it matters
Shows how formal verification in Lean grounds AI math output, with claims of a perfect Putnam score. The approach is relevant to anyone building agents whose results must be checkable rather than trusted.
Terms in this piece · Glossary
AI agent — An AI system that doesn't just answer once but works toward a goal in a loop — taking actions, reading the results, and deciding what to do next.
videoDreamer: the Agent OS for Everyone — David Singleton
videoAgent Inference at the "Speed of Light" — How NVIDIA moves like a $4.3 Trillion Startup
video⚡️Claude Sonnet 4.5 and Anthropic's roadmap for Agents and Developers — Mike Krieger, Anthropic
videoThe RLVR Revolution — with Nathan Lambert (AI2, Interconnects.ai)
