AxiomProver

5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿

量子位 · 8.7 分

Axiom Math的AI系统AxiomProver生成并形式化证明的8篇数学论文中，5篇已通过同行评审发表；其核心是“自然语言问题→Lean形式化→机器验证”闭环，00后创始人洪乐潼带队完成14亿人民币融资，估值达16亿美元。

AI math summer continues

The Rundown AI(@TheRundownAI) · 8.5 分

Axiom团队利用AxiomProver完成BGP246定理的机器验证，推动AI在数学证明中的应用。