明敏 鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 斯坦福华人数学博士AI创业， 0产品0用户 ，目标估值3亿美元。 0产品实现3-5亿估值 方向瞄准 数学AI ，要为量化和对冲基金公司提供可解决实际数学问题的模型能力。 （嗯，打造了DeepSeek的幻方量化，也是用AI来做投资量化） △ 来自个人主页 来自中国广州的 洪乐潼 （Carina Letong Hong）近期开启创业，立马一鸣惊人。 据The Information消息，她正在筹集目标为 5000万美元 的融资，公司估值预计 3-5亿美元 ——尽管目前公司还没有开发出一款产品。 为啥能实现如此估值？ 来看创始人兼CEO洪乐潼身上的标签： 3年时间完成麻省理工数学和物理本科双修 ，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课 程。 本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之 一…… 如今，她开启创业，希望利用编程语言来训练模型，使其能掌握形式化证明的"语言"。 洪乐潼创立的公司名叫Axiom （公理） ，它的核心 ...