中国学者新创立AI公司，竟要融资5000万美元？

人工智能在数学研究上遭遇了一定的困难，OpenAI和谷歌等公司推出的模型效果不尽如人意，与此同时，Axiom公司专注于“严格证明”的研究，其技术发展前景引起了广泛的关注。

主流AI数学表现不佳

目前，OpenAI和谷歌等公司开发的AI模型在数学领域的应用表现并不稳定。以2024年国际数学奥林匹克竞赛（IMO）中涉及证明的题目为参照，这些顶尖AI模型在平均得分上最高未达到5%，且在解题过程中频繁出现逻辑上的错误，同时缺乏创新性。例如，在竞赛中，谷歌的AI系统虽然表现出色，但往往依赖于未经证实的前提和草率的操作步骤；尽管如此，它在处理组合数学问题时仍然力不从心。特别是在算法设计、统计力学等领域，由于这些模型未能具备组合数学方面的能力，它们往往难以提供全面且有效的解决方案。

Axiom聚焦严格证明

Axiom公司致力于打造一种新型的AI模型，该模型的核心在于形式化数学证明。与一般AI模型不同，Axiom的AI模型特别注重“严格证明”这一概念，其不仅提供答案，更通过严密的逻辑推理得出结论，这一特点有望填补传统AI在数学证明领域的不足。Axiom公司计划通过编程语言对AI进行训练，使其能够掌握形式化证明的方法，从而确保所提供答案的准确性。

创始人学术背景不凡

洪乐潼，出生于我国广州，自幼便显露出了对数学的非凡天赋。她通过参加IMO培训，得以接触并学习全球数学家的思维方式。在短短三年内，她便获得了麻省理工学院的两个学位。此后，她的志向从量化金融转向了基础数学研究。此外，她还同时攻读斯坦福大学的数学博士与法学博士，构建了一个涵盖“数学、法律、生物”三个领域的立体知识体系。

创始人研究成果显著

在斯坦福大学学习期间，洪乐潼专注于组合数学的研究，并成功发表了多篇相关领域的学术论文。她特别对合同法、反垄断等涉及数学逻辑的法学分支表现出浓厚兴趣。此外，在数论、堆栈排序算法等数学研究子领域，她也贡献了多篇研究成果，充分展现了她在数学领域的扎实功底。

AI新公司横空出世

洪乐潼聚焦于数学与深度学习交汇的领域，并在此基础上创建了AI企业Axiom。她致力于攻克AI在形式化证明领域所面临的难题，凭借其深厚的知识储备和丰富的科研经历，引领公司在该领域不断探索，勇往直前。

技术前景有待验证

Axiom目前仍处于发展的初级阶段，尚未有产品面世。面对众多AI企业的激烈竞争，Axiom选择以专注于解决数学问题的AI技术作为突破口，力图在市场中占有一席之地。然而，其技术是否能够超越现有的AI模型，还需经过时间的检验和实际成果的验证。

业界普遍关注Axiom是否能在激烈的人工智能企业竞争中，凭借其独有的技术优势崭露头角。我们诚挚邀请您参与讨论，期待您的宝贵意见。同时，请不要忘记为我们点赞并分享这篇文章。