6月6日消息，据The Information消息，斯坦福华人数学博士洪乐潼(Carina Hong)开启AI创业，她创办了数学AI模型公司Axiom，该公司正在筹集目标为5000万美元的融资，公司估值预计3-5亿美元。目前公司还没有开发出一款产品。

　　洪乐潼个人知名度很高，她出生于中国广州，用3年时间完成麻省理工数学和物理本科双修，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课程。

　　（Axiom公司创办人洪乐潼，图片来自麻省理工学院官网）

　　本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之一。

　　如今，她开启创业，希望利用编程语言来训练模型，使其能掌握形式化证明的“语言”。

　　Axiom的核心目标是开发可以解决实际数学问题的AI。根据透露，Axiom专注于开发基于形式化数学证明的AI模型，训练数据来自形式化数学证明（formal mathematical proofs），通过使用已经被证明的定理或者公认的数学公理，来验证某个数学陈述的真实性。

　　Axiom旨在为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案。

　　当前OpenAI、谷歌等发布的模型在数学领域表现不稳定，洪乐潼透露，Axiom的技术将专注于“严格证明”，而非仅提供答案。

　　据了解，起初，洪乐潼考虑从事量化金融行业。但在麻省理工学院学习期间，她意识到另一件事点燃了她的热情：“数学研究真的很有趣。” 她的热情得到了回报。2022年，她获得了美国妇女数学协会颁发的享有盛誉的艾丽丝·T·谢弗奖，该奖项每年颁发给美国数学专业的顶尖女性。“那一刻，我感受到努力真的有回报，”她说。

　　Axiom项目刚刚建立就获得了高度关注，当前，全球都在关注洪乐潼这位在学术上取得成功的博士生接下来将做出怎样的产品。