10月15日消息，总部位于旧金山的人工智能初创公司 Axiom Math 获得了由 B Capital 领投的 6400 万美元种子轮融资，Greycroft、Madrona Venture Group和Menlo Ventures也参与其中。此轮融资后，该公司的估值约为 3 亿美元。

　　利用新融资，Axiom 计划扩大其工程和研究人才，增强其推理引擎，并在密码学、物理学和高级算法等领域的基准问题上测试其系统。

　　Axiom Math 创始人为洪乐潼(Carina Hong)，她出生在中国广州，毕业于斯坦福大学，拥有麻省理工学院和牛津大学的学位，她在麻省理工获得数学和物理双学位，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课程。她本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之一。

　　洪乐潼组建了一支由经验丰富的人工智能和数学专家组成的团队，其中许多人来自 Meta 的 FAIR 实验室。核心成员包括因解决百年数学难题而闻名的弗朗索瓦·查顿 (Francois Charton)、人工智能安全和公平性专家阿拉姆 ·马科斯扬 (Aram Markosyan) 以及深度学习代码生成领域的先驱休·莱瑟 (Hugh Leather) 。

　　在洪乐潼的带领下，Axiom Math 正在开发一种人工智能系统，该系统不仅可以解决复杂的数学问题，还可以通过提出猜想(尚未得到证实的数学陈述)来产生新的数学知识。

　　该模型能够生成严格的、逐步的证明，并可使用 Lean 和 Coq 等证明助手进行独立验证。该方法旨在将教科书和研究论文中的英语数学转化为代码，使人工智能能够创建和验证突破现有知识界限的新问题。

　　近日，洪乐潼在X平台上发布了Axiom的宣传视频，称“我们正在构建一个能够自我进化的超级智能推理系统，从打造一个AI数学家开始。”在她看来，数学发现揭开万物的奥秘，从人类大脑到浩瀚宇宙。历史上的每次数学突破都成为下一发现的基石。而人工智能正彻底改变这场探索。

　　洪乐潼认为，数学如今能以指数级规模和空前速度展开，这场革命建立在三大支柱之上：

　　1、人工智能以难以想象的规模生成创意;

　　2、 编程语言将抽象概念转化为现实;

　　3、 数学将万物紧密相连。

　　由此形成的发现飞轮，让每个突破都能催生下一个飞跃。

　　而Axiom Math则组建了一支横跨三大领域的顶尖团队，希望实现：大规模同步训练架构、将AI引入代码生成，以及应用Transformer模型破解百年数学猜想。

　　研究人员和投资者都认为 Axiom 的目标极具说服力且鼓舞人心。

　　目前，Axiom 正在开发能够发现和解决新数学问题的模型。研究人员还希望将他们的研究成果应用于金融、飞机设计、芯片设计和量化交易等领域。

　　除了纯数学之外，Axiom 的人工智能工具正在金融、飞机和芯片设计以及量化交易等需要严格计算精度的领域进行实际应用测试。B Capital 合伙人 Yan-David Erlich 表示：“解决复杂的数学问题是许多人类发明的核心。”