Srinivasa Ramanujan 还有哪些别名？

Srinivasa Ramanujan 也被称为：Ramanujan。

Srinivasa Ramanujan 最近有什么新动态？

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

人物

什么是 Srinivasa Ramanujan？

也叫：Ramanujan

印度数学家，以其直觉与深刻洞见著称，形式化证明帮助其成果被规模化复利化。

📰 Srinivasa Ramanujan 最新动态

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

Scaling Past Informal AI - Carina Hong, Axiom Math

Latent SpaceYesterday1535 字 (约 7 分钟)

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英文

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

Putnam exam Lean Axiom Math AXLE OpenAI o3 DeepSeek Carina Hong

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

什么是 Srinivasa Ramanujan？

📰 Srinivasa Ramanujan 最新动态

Scaling Past Informal AI - Carina Hong, Axiom Math

🔗 相关术语