AXLE 最近有什么新动态？

traeai 已收录 1 篇与 AXLE 相关的内容。最新一篇是「🔬Scaling Past Informal AI - Carina Hong, Axiom Math」，由 Latent Space 发布。

产品

什么是 AXLE？

Axiom开源的交互式Lean应用工具包，用于探索、验证与操作数学证明。

🔬Scaling Past Informal AI - Carina Hong, Axiom Math

Latent Space · 8.7 分

已收录 1 篇与「AXLE」相关的 AI 资讯和分析。

Latent Space6月4日1535 字 (约 7 分钟)

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

入选理由：Axiom在Putnam考试中取得12/12，优于顶尖本科生与当时最接近的AI系统DeepSeek（103/120）。

精选文章#Verified AI#形式化验证#Lean#AGI#Putnam竞赛英文

与「AXLE」经常一起出现的 AI 术语。

💡 想追踪「AXLE」的长期趋势？去实体雷达 · AXLE 查看详细分析和跨材料问答。