电话
方向瞄准数学AI，要为量化和对冲基金公司提供可解决实际数学问题的模型能力。
来自中国广州的洪乐潼（Carina Letong Hong）近期开启创业，立马一鸣惊人。
据The Information消息，她正在筹集目标为5000万美元的融资，公司估值预计3-5亿美元——尽管目前公司还没有开发出一款产品。
3年时间完成麻省理工数学和物理本科双修，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课程。
本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之一……
如今，她开启创业，希望利用编程语言来训练模型，使其能掌握形式化证明的“语言”。
洪乐潼创立的公司名叫Axiom（公理），它的核心目标是开发可以解决实际数学问题的AI。
训练数据来自形式化数学证明 （formal mathematical proofs），通过使用已经被证明的定理或者公认的数学公理，来验证某个数学陈述的真实性。
换句话说，Axiom的AI将专注于数学领域，通过学习严格的逻辑推理和数学证明的过程，能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。
产品将主要卖给对冲基金和量化交易公司，帮他们快速解决投资、股市等金融领域的复杂数学问题。
可以简单粗暴理解为，通过购买Axiom的能力，对冲基金和量化交易公司可以不用自己费力组建规模十分庞大的技术团队。
据The Information消息，曾投出Perplexity等知名AI公司的B Capital正在就最新一轮目标5000万美元的融资展开谈判，并可能领投本轮。
要知道，近期AI领域“0产品0用户”就实现高额估值的初创公司，都出自Ilya、Mira Murati这种行业大佬之手。
Axiom也能在如此早期就被投资方看好，或许原因类似——创始人本人值得投。
她出生于中国广州，通过一个免费的奥林匹克数学项目开始接触竞赛，“遇到了超级有趣的问题”。
后来，洪乐潼在罗斯计划和斯坦福数学营中迷上了勒让德/雅可比符号和处理理论，并决心攻读高等数学。
她将目标早早地锁定在麻省理工学院的数学和物理专业，只用3年时间就完成了两个学位的课程，同时还广泛学习了硕博数学课程。
3年时间，她还发表了9篇论文，涉及领域非常广泛，包括模椭圆曲线曲面的L函数、月光猜想、theta与划分函数同余方程、堆栈排序算法，和二部图边染色的马尔可夫链。
值得一提的是，这些论文不少是和张盛桐（本科期间就登上数学四大顶刊）合作完成。
同时，她也拿奖到手软：先后获得Schaefer数学奖全美女生第一，Frank和Brennie Morgan本科生杰出数学研究奖，并被提名为2022年度中国罗德学者。
罗德奖学金由牛津大学颁发，获奖学者将赴牛津大学攻读研究生课程。洪乐潼也是凭借此机会学习了神经科学的相关课程。
她表示，科学领域是一个相当广阔的世界，她希望理解数学的同时理解生物医学。
博士申请上，据说她也是横扫普林斯顿、斯坦福、哈佛、麻省理工……最终选择了斯坦福大学，在主修数学的同时还辅修了法律学，可以说是兴趣相当广泛。
在斯坦福期间，她发表了关于弹出堆栈排序算法等主题的研究成果，并且持续探索数论方面的工作。
并且涉猎了数学与深度学习相结合的跨学科研究，在Sainsbury Wellcome中心的盖茨比部门进行过人工智能和机器学习研究，当时还满怀憧憬地说道：
人工智能与科学家互动的未来会是怎样？应用科学家如何与之互动？这都是我接下来希望研究的课题。
值得一提的是，洪乐潼在一些报道中透露，她本来以为自己可能从事量化、金融相关领域的工作，但在MIT时，她逐渐发现数学研究真的很有意思。
