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年度中国罗德学者。
博士申请上，据说她也是横扫普林斯顿、斯坦福、哈佛、麻省理工……最终选择了斯坦福大学，在主修数学的同时还辅修了法律学，可以说是兴趣相当广泛。
