🆕Scaling Past Informal AI https://latent.space/p/axiom @axiommathai founder & CEO @CarinaLHong explains why math may be the missing path from code agents to AGI, why verified AI is about scaling brilliance not just fixing hallucinations, how Lean and formal proofs turn reasoning into a stronger reward signal, why Axiom sees the TAM as all AI-generated code, what it means to prove research conjectures in a self-verified way, and why the next bottleneck for AI may be not generation but verification.