分页: 1 / 1

#1 00后中国美女学霸

发表于 : 2025年 6月 4日 02:13
bobman
00后中国女孩0产品创业估值达3亿:斯坦福数学博士的AI量化野心

https://m.mydrivers.com/newsview/1051671.html

来自中国广州的洪乐潼(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年度中国罗德学者。

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

#2 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 02:17
直接投降
长得像王光美,是不是只能嫁给李强了?

#3 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 07:36
zmimy
这条路是死路

没戏

#4 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 07:52
YrMoms1stBF
估值就是自身3-5亿个细胞

哥咋觉得这种面相的人不可信呢?

#5 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 07:57
huangchong
两个公司都买她都服务打架 输了的能找她赔吗?

#6 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 07:58
huangchong
有这么好的工具自己炒不是更加好?

#7 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:00
Caravel
一个喜欢数学的学霸,为什么会喜欢法学

而且她的方向跟AI没有关系

为什么会做ai定理证明?感觉就是资本拿来装门面的

#8 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:03
民主自由是婊子的遮羞布
bobman 写了: 2025年 6月 4日 02:13 00后中国女孩0产品创业估值达3亿:斯坦福数学博士的AI量化野心

https://m.mydrivers.com/newsview/1051671.html

来自中国广州的洪乐潼(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年度中国罗德学者。

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

而且有凶兆

#9 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:04
Caravel
民主自由是婊子的遮羞布 写了: 2025年 6月 4日 08:03 第一张照片太美了

而且有凶兆
恐怖片的感觉

#10 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:11
lubbock12
这女的看眼神就知道很聪明做事情很犀利那种

#11 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:12
在路上
一看见斯坦福,第一反应是不是骗子

#12 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:15
rtscts
在路上 写了: 2025年 6月 4日 08:12 一看见斯坦福,第一反应是不是骗子
斯坦福+美女

必然是骗子。

#13 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:16
在路上
rtscts 写了: 2025年 6月 4日 08:15 斯坦福+美女

必然是骗子。
熟悉的配方,熟悉的套路

#14 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 08:54
molen
Caravel 写了: 2025年 6月 4日 08:00 一个喜欢数学的学霸,为什么会喜欢法学

而且她的方向跟AI没有关系

为什么会做ai定理证明?感觉就是资本拿来装门面的
法学也用逻辑,土鳖在开发AI的法律推理模型,尝试用机器代替法官


也许她想要看这个方向能不能赚钱或者突破

#15 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 09:00
hhcare
骗子吧。
MIT 很水啊

#16 Re: 00后中国美女学霸

发表于 : 2025年 6月 4日 09:14
guagua1220
站内帖子:Re: 中国有Alex Wang这么优秀的青年吗?
zhukov 写了: 2023年 5月 3日 10:28 年纪轻轻被捧的非常高的,往往是富豪的白手套。能不能成功需要时间积累。这个时代,出个人英雄不能说没有,但可能性比以前少不少。
啥时候上Forbes啊?LOL

图片

图片