什么是 AXLE？

Axiom Math以Verified AI为核心，通过形式化证明与Lean工具将“ brilliance”规模化与复利化，已在Putnam达全对并在Verina Codegen取得99%，显著高于OpenAI o3的4.9%，为AGI路径提供关键能力验证与知识传播范式。