🆕Scaling Past Informal AI latent.space/p/axiom @axiommathai 创始人兼 CEO @CarinaLHong 解释了为什么数学可能是从代码智能体通往 AGI 的缺失路径，为什么可验证 AI 关乎的是扩展卓越而非仅修复模型幻觉，Lean 和形式化证明如何将推理转化为更强的奖励信号，为什么 Axiom 认为 TAM 是所有 AI 生成的代码，以自我验证的方式证明研究猜想意味着什么，以及为什么 AI 的下一个瓶颈可能不是生成而是验证。
🆕Scaling Past Informal AI
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.
来源：@latentspacepod · x.com