公司
也叫：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 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）。
Axiom Math’s AI system AxiomProver generated and formally verified 8 math papers, 5 of which have passed peer review; its core is a ‘natural language → Lean formalization → machine verification’ loop. Founder Hong Letong (born 2001) led a $1.4B RMB funding round, with valuation reaching $1.6B USD.
入选理由：AxiomProver在24小时内可生成完整、机器验证的数学证明，已解决6个Ballantine等提出的猜想并发现1个反例
Carina Hong, CEO of Axiom Math, discusses why math may be the missing path from code agents to AGI, how verified AI is about scaling brilliance not just fixing hallucinations, and the role of Lean and formal proofs in turning reasoning into a stronger reward signal.
入选理由：Math may be the missing path from code agents to AGI.
与「Axiom Math」经常一起出现的 AI 术语。
💡 想追踪「Axiom Math」的长期趋势？去 实体雷达 · Axiom Math 查看详细分析和跨材料问答。
