Podcasts

Filtered to Mathematical discovery · clear filter

Browse by topic

Reinforcement learning 11AI agents 10recursive self-improvement 7AI safety 6Diffusion models 5formal verification 5Agentic AI 4AI ethics 3AI infrastructure 3Code generation 3Human-AI collaboration 3Mechanistic interpretability 3multi-agent systems 3Open Source AI 3Scaling laws 3Synthetic data generation 3Venture capital 3world models 3Agent architecture 2Computational complexity 2Context engineering 2Continual learning 2Continuous learning 2Data generation 2Developer experience 2Drug discovery 2Foundation models 2GPU infrastructure 2Lab automation 2LLM inference 2

Matching episodes

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space: The AI Engineer Podcast · 3 JUN 2026 · 93 min

Carina Hong, CEO of Axiom Math, discusses the company's recent $200M Series A funding and their perfect Putnam exam score, highlighting their mission to scale "verified AI" through formal mathematics. She explains how formal v…

Formal verificationAI for mathLean proof assistantMathematical discoveryPutnam examHardware verificationSoftware verificationRecursive self-improvementAI agentsTransfer learningAuto-formalizationCode generationComputational complexityReinforcement learningKnowledge graphsInterdisciplinary teamsStartup funding