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

AI数学公司Axiom Math由00后华人洪乐潼创立，其系统AxiomProver生成并形式化验证数学证明，已有5篇AI参与完成的论文被学术期刊接收，覆盖数论、代数几何等多个数学分支；公司已完成2亿美元融资，估值16亿美元，致力于构建可验证、可自我改进的超级推理系统。