明敏 鹭羽 发自 凹非寺

量子位 | "平易近 众 ," 号 QbitAI

斯坦福华人数学博士AI创业，0产品0用户，目标估值3亿美元。

标的目标 瞄准数学AI，要为量化和对冲基金公司供给 可解决实际数学问题的模型本领。

（嗯，打造了DeepSeek的幻方量化，也是用AI来做投资量化）

来自中国广州的洪乐潼（Carina Letong Hong）近期开启创业，立马一鸣惊人。

据The Information新闻 ，她正在筹集目标为5000万美元的融资，公司估值预计3-5亿美元——只管目前公司还没有开发出一款产品。

为啥能实现云云估值？

来看创始人兼CEO洪乐潼身上的标签：

3年时间完成麻省理工数学和物理本科双修，然后拿下斯坦福数学博士登科offer研讨 标的目标 为数论、组合学和概率学，同时也学习了司法 学课程。

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

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

0产品实现3-5亿估值

洪乐潼建立的公司名叫Axiom（公理 ），它的核心目标是开发可以解决实际数学问题的AI。

目前已经透露了一些详细技能标的目标 ——

练习数据来自形式 化数学证明 （formal mathematical proofs），经过过程 利用已经被证明的定理或者公认的数学公理 ，来验证某个数学陈述的真实性。

换句话说，Axiom的AI将专注于数学领域 ，经过过程 学习严酷的逻辑推理和数学证明的进程 ，能够像数学家一样构建和验证形式 化证明，并保证效果的正确性和严谨性。

产品将重要卖给对冲基金和量化交易 公司，帮他们快速解决投资、股市等金融领域 的复杂数学问题。

可以简朴粗暴明白为，经过过程 购买 Axiom的本领，对冲基金和量化交易 公司可以不用 自己费力组建规模 十分伟大 的技能团队。

Axiom目前还没有开发出一款产品。

但这并不影响投资人对它发生 浓厚兴趣。

据The Information新闻 ，曾投出Perplexity等知名 AI公司的B Capital正在就最新一轮目标5000万美元的融资展开会商，并大概领投本轮。

目前Axiom的估值预计在3-5亿美元。

要知道，近期AI领域 “0产品0用户”就实现高额估值的初创公司，都出自Ilya、Mira Murati这种行业大佬之手。

Axiom也能在云云早期就被投资方看好，或许缘故原由类似——创始人本人值得投。

“一起开挂”的广州学霸

洪乐潼身上最鲜明的标签还是数学。

她本人透露，父母 并没有受过高级 教育，但是她从小就对数学兴趣浓厚。

她出身 于中国广州，经过过程 一个免费的奥林匹克数学项目开始接触竞赛，“碰到了超等有趣的问题”。高中参加CMO省队，经过层层筛选，成为最后仅剩的4位女生之一。

厥后，洪乐潼在罗斯计划和斯坦福数学营中迷上了勒让德/雅可比符号和处理理论，并决心攻读高级 数学。

她将目标早早地锁定在麻省理工学院的数学和物理专业，只用3年时间就完成了两个学位的课程，同时还普遍 学习了硕博数学课程。

3年时间，她还颁发 了9篇论文，涉及领域 异常 普遍 ，包罗模椭圆曲线与K3曲面的L函数、月光猜想、theta与分别 函数同余方程、堆栈 排序算法，和二部图边染色的马尔可夫链。

要知道，通常来说本科生是很难做出纯数研讨 的。

值得一提的是，这些论文不少是和张盛桐（本科期间就登上数学四大顶刊）互助完成。

同时，她也拿奖得手软：先后获得Schaefer数学奖全美女 生第一，Frank和Brennie Morgan本科生精良数学研讨 奖，并被提名为2022年度中国罗德学者。

罗德奖学金由牛津大学颁布 ，获奖学者将赴牛津大学攻读研讨 生课程。洪乐潼也是依附此时机学习了神经科学的相关课程。

她表示，科学领域 是一个相当广阔的天下，她巴望 明白数学的同时明白生物医学。

博士申请上，听说她也是横扫普林斯顿、斯坦福、哈佛、麻省理工……最终选择了斯坦福大学，在主修数学的同时还辅修了司法 学，可以说是兴趣相当普遍 。

在斯坦福期间，她颁发 了关于弹出堆栈 排序算法等主题的研讨 成果，而且连续摸索 数论方面的工作。

而且欣赏 了数学与深度学习相联合的跨学科研讨 ，在Sainsbury Wellcome中央的盖茨比部分进行过人工智能和机器学习研讨 ，其时还满怀向往地说道：

人工智能与科学家互动的将来会是如何 ？应用 科学家如何 与之互动？这都是我接下来巴望 研讨 的课题。

值得一提的是，洪乐潼在一些报道中透露，她原来以为自己大概从事量化、金融相关领域 的工作。但在MIT时，她逐渐发现数学研讨 真的很有意思。

如今来看，她如今选择创业也是一种call back了。

参考链接：

[1]https://www.theinformation.com/articles/stanford-math-phds-ai-startup-targets-300-million-valuation

[2]https://www.mit.edu/~clhong/

[3]https://x.com/CarinaLHong

[4]https://www.forbes.com/sites/johnwerner/2025/04/24/a-discovery-every-day-what-does-superintelligence-actually-look-like/

[5]https://alum.mit.edu/slice/first-generation-grad-excels-math-and-law

[6]https://news.mit.edu/2021/carina-letong-hong-2022-rhodes-1117

[7]https://www.ams.org/news?news_id=7108