Srinivasa Ramanujan 还有哪些别名？

Srinivasa Ramanujan 也被称为：Ramanujan。

Srinivasa Ramanujan 最近有什么新动态？

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

人物

也叫：Ramanujan

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

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

Latent Space昨天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竞赛英文

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

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