公司
也叫：Axiom
致力于Verified AI的数学AI初创公司，以形式化证明推动AI能力的规模化与复利化。
最近变化
2026-06-03 · Math may be the missing path from code agents to AGI.
Axiom Math 被反复提及时，通常意味着它正在影响产品路线、开发者工作流或 AI 产业判断。这个页面把分散材料合并成一个可持续更新的观察入口。
已收录 3 篇与「Axiom Math」相关的 AI 资讯和分析。
Axiom Math以Verified AI为核心，通过形式化证明与Lean工具将“ brilliance”规模化与复利化，已在Putnam达全对并在Verina Codegen取得99%，显著高于OpenAI o3的4.9%，为AGI路径提供关键能力验证与知识传播范式。
入选理由：Axiom在Putnam考试中取得12/12，优于顶尖本科生与当时最接近的AI系统DeepSeek（103/120）。
Axiom Math的AI系统AxiomProver生成并形式化证明的8篇数学论文中，5篇已通过同行评审发表；其核心是“自然语言问题→Lean形式化→机器验证”闭环，00后创始人洪乐潼带队完成14亿人民币融资，估值达16亿美元。
入选理由：AxiomProver在24小时内可生成完整、机器验证的数学证明，已解决6个Ballantine等提出的猜想并发现1个反例
Carina Hong，Axiom Math的创始人兼CEO，讨论了为什么数学可能是从代码代理到AGI的缺失路径，以及为什么验证AI不仅仅是修复幻觉，而是关于扩展 brilliance。
入选理由：Math may be the missing path from code agents to AGI.
与「Axiom Math」经常一起出现的 AI 术语。
💡 想追踪「Axiom Math」的长期趋势？去 实体雷达 · Axiom Math 查看详细分析和跨材料问答。
