00 后中国女孩 0 产品创业实现 3 亿估值:斯坦福数学博士的 AI 量化野心

斯坦福华人数学博士 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 年度中国罗德学者。

罗德奖学金由牛津大学颁发,获奖学者将赴牛津大学攻读研究生课程。洪乐潼也是凭借此机会学习了神经科学的相关课程。

她表示,科学领域是一个相当广阔的世界,她希望理解数学的同时理解生物医学。

**△**来自 MIT News

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

在斯坦福期间,她发表了关于弹出堆栈排序算法等主题的研究成果,并且持续探索数论方面的工作。

并且涉猎了数学与深度学习相结合的跨学科研究,在 Sainsbury Wellcome 中心的盖茨比部门进行过人工智能和机器学习研究,当时还满怀憧憬地说道:

人工智能与科学家互动的未来会是怎样?应用科学家如何与之互动?这都是我接下来希望研究的课题。

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

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

参考链接:
1www.theinformation.com/articles/st...
2www.mit.edu/~clhong/
3x.com/CarinaLHong
4www.forbes.com/sites/johnw...
5alum.mit.edu/slice/first...
6news.mit.edu/2021/carina...
7www.ams.org/news?news_i...

--- ---

相关推荐
子昕32 分钟前
牛来原来是智谱,GLM-5.3-Flash 实测有惊喜也有硬伤
ai编程
OpenTiny社区1 小时前
Naive UI × GenUI SDK:自定义物料库搭建实战
前端·ai编程
kyriewen1 小时前
我拿 4 个真实前端任务试了 GLM-5.3 Flash:代码一遍跑通,账单 4 分钱
前端·程序员·ai编程
zhangfeng11331 小时前
AMD Instinct MI50(gfx906)上为 Qwen 系列模型优化并可用的 vLLM 相关仓库、Docker 镜像与实践指南。
人工智能·docker·ai编程·qwen·算子开发·vllm·mi50
机构师1 小时前
AI编程实战:效率与成本,AI 编程的 ROI 怎么算
人工智能·prompt·ai编程·deepseek
Flynt1 小时前
上周我在OpenRouter上用了个匿名模型,结果账单告诉我它是国产的
llm·ai编程·chatglm (智谱)
京东云开发者2 小时前
上游给空、下游拿到 -1,我把故障一直追到了 commons-beanutils 的构造函数
java·ai编程
掘金酱2 小时前
🔥 AI 时代,Token 就是你的数字燃料!晒账单,赢好礼!
前端·人工智能·ai编程
小虎AI生活4 小时前
从古茗案例看 FDE 思维落地:让一个 AI Agent 驻守最烦的岗位,中小公司也能干
ai编程
plainGeekDev4 小时前
Agent Prompt 怎么写:三个真实案例讲透
agent·ai编程·claude