5篇由AI系统AxiomProver生成形式化证明的数学论文成功被学术会议接收，其背后的00后创始人洪乐潼（Carina Hong）创立的Axiom公司刚完成2亿美元（约14亿人民币）A轮融资，估值飙升至16亿美元。
