羊城晚报记者王丹阳
一个来自广州的“00后”女博士在硅谷创业，没产品、没用户，还在招募团队人员中，公司被估值达3亿-5亿美元？
这听起来“过于完美”甚至有点天方夜谭的创业故事却正在发生。
据美国当地科技媒体6月3日报道，来自中国的“00后”斯坦福大学数学女博士洪乐潼在近日成立了自己的AI初创公司公理量化（AxiomQuant），目标融资金额为5000万美元，公司估值预计达到3亿-5亿美元，知名创投公司波士顿投资可能领投。
有意思的是，3天后，洪乐潼在知乎上称媒体报道“泄露了我们（并不准确）的融资信息”，并否认相关报道。但她在其他的个人社交账号上却未有发布相关言论。与此同时，公理量化开启积极招揽国内外人才，组建团队，为后续研发做准备。
这不仅让外界和投资圈联想起了一个今年年初“横空出世”的广东85后：幻方量化、DeepSeek创始人梁文锋。
同为广东青年、同在AI创业赛道，同是“天才级”学霸的洪乐潼会创造下一个DeepSeek吗？在AI+数学创业领域，公理量化能否成为一匹“黑马”？
“数学真美”！她来自广州
3年修完麻省理工数学与物理双学位，至少发表9篇纯数学前沿论文；24岁成为牛津大学罗德学者，一年攻读完神经科学硕士，其间聚焦“人工智能与科学家互动”课题；在斯坦福大学开启数学和法学双博士，为低收入工人提供法律援助，并利用经济分析推动执法改革。
这不是“自嗨”爽文或小视频，而是来自斯坦福大学校友会的获奖学生介绍。
这也是25岁的广州女生洪乐潼近年来“本硕博”求学经历的一个缩影。
即便是作为学霸，毕业于广州的华南师范大学附属中学的洪乐潼，学术经历也属于旁人难以复制的“开挂”级。
公开资料显示，祖籍潮汕的洪乐潼出生在广州，父母是从未上过大学的普通务工者。
有着超强数学天赋的她，早在高一就入选了广东省中学生英才计划，师从中山大学教授王学钦。此后，她在全国中学生数学奥林匹克（CMO）广东选拔中脱颖而出，成为仅剩的四位女生之一。
“过程艰苦却充满乐趣。犹记第一次对着做不完的sets快急哭了，犹记第一次为了证一种推广而熬通宵，犹记第一次因发现一种妙解而欢蹦乱跳——我们竟在难题堆里循环往复地经历着王国维在《人间诗话》中提及的三种境界：苦苦求索、忘我拼搏，再到恍然大悟。而后，从心底说一声：‘数学真美’。”
高中时，洪乐潼参加数学比赛后，如此写下个人感受。
“天才学霸”！数学法学双博士
随后，她开始将视野投向更高层次的数学研究。
2018年，年仅17岁的洪乐潼如愿被麻省理工学院（MIT）录取，选择了数学与物理双专业。
她在麻省理工学院只用3年时间就修完了两个学位，并跻身国际一流期刊，发表了涉及模椭圆曲线与K3曲面上的L函数、“月光猜想”的9篇学术论文。研究方向涵盖数论、组合学等基础数学领域，为其当前AI创业埋下伏笔。
麻省理工导师评价：“当多数人还在关注应用层时，她已瞄准数学证明自动化这一基础难题。”
更引人注目的是，她在MIT期间曾获得全美女性数学家最高荣誉——AliceT.Schafer数学奖，并在2021年成为中国仅有的四位罗德学者之一，前往牛津大学继续攻读神经科学课程。
“数学虽是一门纯粹学科，但我也渴望理解生物医学，所以去牛津学神经科学，正是为了拓宽研究视野。”洪乐潼说。
在此期间，她曾在伦敦大学学院盖茨比计算单位作为第一作者开展深度学习研究项目，由此正式踏入AI领域。
在读完了数学、物理、神经科学后，洪乐潼又对人文学科产生强烈好奇，在斯坦福大学开启数学与法律双学科博士项目的研究。
“人工智能与数学家的互动未来会走向何方？应用科学家又将如何与人工智能数学家协作？这些都是我希望在后续研究中着力探索的难题。”她这样写道。
硅谷创业！卖“数学大脑”给华尔街
“一个小而专注、特立独行的团队。一群理想主义者组成的优秀合作伙伴……这就是DeepSeek的故事，也是我想书写的故事。”今年初，洪乐潼在社交平台上的感慨，揭开了这位年轻创业者的心迹。
与梁文锋相似，她选择以数学为切口切入AI基础层，试图在硅谷巨头林立的领域找到属于自己的一道光。
例如，针对ChatGPTo3“数学测试作弊”争议，此前作为斯坦福大学数学博士的洪乐潼就率先指出症结——当前AI缺乏严格的逻辑推理训练体系。
OpenAI的大模型之所以在数学测试中表现良好，可能是因为该公司在训练模型时已接触过这些题目。
她举例称，美国数学邀请赛考试中，部分大语言模型可以达到96%的准确率，但当要求展示证明过程时，分数骤降至5%。
而她创立公理量化则采用“数学即服务”模式，通过学习严格逻辑推理过程，使AI像数学家一样构建和验证证明。
资料显示，作为初创公司的公理量化将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。
值得关注的是，与国内AI赛道创业者不同，洪乐潼选择从数学基础层切入，试图突破大模型“黑箱”瓶颈，其技术路径与DeepSeek“小而专注”的团队理念高度契合。
这也不难解释，为何一家“无产品、无用户、无团队”的AI初创公司能获得投资圈高关注。
一方面是洪乐潼的个人教育经历使她在投资人眼中极具吸引力，另外“数学+AI”在金融等高端应用场景中的长远潜力，有望解决对冲基金等机构的需要高效、高可信度的量化模型的痛点。
流星或太阳！“00后”登上AI主场
当一波人还在讨论“AI会不会取代人类”时，00后创业者已开始定义下一代技术范式。
同为“00后”的杨丰瑜在耶鲁博士毕业后选择回国创业，在去年成立了具身智能公司优理奇，完成数亿元的天使轮及天使+轮融资。四个月前，由三位“00后”创立的AI招聘网站Mercor也宣布完成1亿美元的B轮融资，公司估值达20亿美元。
不过在“数学AI+量化金融”的前沿赛道，也面临诸多挑战。公理量化能否在走出一条差异化路线？仍是未知数。
不过从广州到硅谷，洪乐潼的经历不仅是个人传奇，更折射出一个时代的来临——当AI浪潮撞上中国新生代学霸，更多“DeepSeek”正在生长。
“你不会被留白的，你会被堆砌上更多的故事，更成熟的想法，更动情的泪滴，更理性的逻辑。”
2015年6月的盛夏，还在广州读高中的洪乐潼这样写给10年后的自己。
“在没有人倾听的时刻里，愿你成为自己的流星；在没有人闪光的日子里，愿你成为自己的太阳。”
编辑：聂粤
海量资讯、精准解读，尽在新浪财经APP 编辑： 来源：
