Scaling Past Informal AI - Carina Hong, Axiom Math
Latent Space1535 字 (约 7 分钟)
87
Axiom Math advances Verified AI to scale brilliance and compound it through formal proofs with Lean, achieving 12/12 on Putnam and 99% (187/189) on Verina Codegen, far exceeding OpenAI o3’s 4.9%, providing critical capability verification and knowledge propagation for AGI.
入选理由：Axiom在Putnam考试中取得12/12，优于顶尖本科生与当时最接近的AI系统DeepSeek（103/120）。
FeaturedArticle#Verified AI#Formal Verification#Lean#AGI#Putnam Exam英文