AI初创公司Axiom Math宣布，其AxiomProver系统自今年2月提交的8篇数学论文中已有5篇通过同行评审并被接收。系统可将数学问题转化为Lean形式化证明，并通过机器逐步验证，降低“逻辑幻觉”。其中一项研究证明了10个长期猜想中的6个并发现反例。公司由25岁华人创始人洪乐潼创立，团队成员包括前Meta AI专家及数学家Ken Ono。成立不足一年已完成2.64亿美元融资，估值达16亿美元。该技术正拓展至博弈论和经济学等领域。
AI初创公司Axiom Math宣布，其AxiomProver系统自今年2月提交的8篇数学论文中已有5篇通过同行评审并被接收。系统可将数学问题转化为Lean形式化证明，并通过机器逐步验证，降低“逻辑幻觉”。其中一项研究证明了10个长期猜想中的6个并发现反例。公司由25岁华人创始人洪乐潼创立，团队成员包括前Meta AI专家及数学家Ken Ono。成立不足一年已完成2.64亿美元融资，估值达16亿美元。该技术正拓展至博弈论和经济学等领域。
thinking...