🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Carina Hong discusses how Axiom Math is scaling beyond informal AI approaches to create more rigorous, systematic methods for AI-assisted mathematics education and problem-solving. The episode likely covers Axiom's technical architecture, their approach to formal verification or structured reasoning in mathematical AI, and strategies for moving beyond ad-hoc prompt engineering toward production-ready AI systems in the math domain.

Source: Latent Space | 2026-06-03