2025-07-02 15:18
这几天，一位00后#潮汕天才少女、斯坦福大学数学博士生#洪乐潼（Carina Hong）成为全球科技投资领域焦点。
据外媒The Information报道，这位同时在美国斯坦福大学攻读数学博士和法学学位的 00 后学霸，正在为她的 AI 初创公司Axiom寻求 5000 万美元的融资，目标是开发专门解决复杂数学问题的人工智能系统。
尽管她创立的这家公司目前尚无成品，也未正式拥有客户，却已获得数亿美元的估值，成为AI+数学创业领域的一匹“黑马”。这种惊人的市场认可，背后是她一条极具传奇色彩的学术与创业之路。
一路开挂的潮汕00后女学霸
据报道，洪乐潼出生于中国广州，中学就读于广州名校华南师范附中，父母是土生土长的#潮汕人。
Axiom公司创办人洪乐潼 图片来源：麻省理工学院
尽管父母未接受高等教育，但洪乐潼自幼却展现超凡的出数学天赋。青少年时期，她加入免费的奥林匹克数学项目，面对来自全球数学家的难题，她曾说：“我在知识的世界里环球旅行。”高中时期，她是数学奥林匹克省队的唯一四名女生之一，站在竞赛顶尖的门槛上。
作为家里的第一代大学生，洪乐潼的学术历程称得上是一路“开挂”：2019年，她考入麻省理工学院，仅用三年时间便完成了数学与物理双学位，期间发表9篇学术论文，涵盖数论、组合学、代数几何等纯数学前沿领域，这在本科生中极为罕见。
同时，她也拿奖到手软：先是获得Schafer数学卓越奖，该奖每年仅颁发给一名本科女生；后又获得北美数学本科生的最高荣誉——摩根奖，她是第五位获此殊荣的女生。2021年底，洪乐潼获得了极具竞争力的罗德奖学金，奖学金由牛津大学颁发，获奖学者将赴牛津大学攻读研究生课程。洪乐潼成为仅有的四名中国获奖者之一。
2022年，洪乐潼前往英国牛津大学学习神经科学，获得硕士学位。期间还在伦敦大学学院进行人工智能和机器学习研究。到了2024年8月，洪乐潼又进入斯坦福大学同时攻读数学博士和法学学位，很快，还在博士就读的她闯入了AI界。
图源：MIT News
创业瞄准AI+数学
0产品，0用户，估值21亿-35亿元
据外媒The Information日前报道，斯坦福华人数学博士洪乐潼开启AI创业，她创办了#Axiom，是一家定位于“数学AI”的创业公司，核心目标是打造能解决实际数学问题的人工智能系统。
Axiom旨在为对冲基金、量化交易机构等客户提供复杂数学问题的快速解决方案。要知道，这些机构对数学模型的准确性和可靠性有着极高的要求，而Axiom的产品正好满足了他们的需求。
具体来看就是，Axiom的AI系统通过学习严格的逻辑推理和数学证明的过程，能够像数学家一样构建和验证形式化证明，并保证结果的准确性和严谨性。借助Axiom，金融机构可无需耗费大量人力搭建庞大技术团队，直接利用AI解决投资和股市中的复杂数学难题。这种“数学即服务”的模式，契合了当前金融市场对高效智能化技术的强烈需求。这种创新的技术理念使得Axiom在众多AI初创公司中脱颖而出。
值得注意的是，据知情人士透露，尽管 Axiom 尚未推出任何产品，0产品，0用户，但这家初创公司正在与投资者洽谈，5000万美元（约合人民币3.6亿元）融资事宜，目标估值达3亿至5亿美元（约合人民币21亿-35亿元），美国知名投资机构B Capital有望领投本轮。
消息一出，立刻在硅谷和国内创投圈刷屏，作为Axiom创始人的洪乐潼也在一夜间迅速爆火。
图丨洪乐潼（来源：MIT Alumni）
Axiom牛在哪儿？
那么，一家0产品0客户，甚至还没有正式官网的AI初创公司，缘何一鸣惊人，受到投资公司如此青睐？
要知道，近期AI领域“0产品0用户”就实现高额估值的初创公司，都出自Ilya、Mira Murati这种行业大佬之手。
Axiom也能在如此早期就被投资方看好，背后的核心资本信心源自洪乐潼这位“学术界的超级新星”，以及她对数学与AI结合的前瞻思考。
当前，以OpenAI、谷歌为代表的科技巨头推出的AI模型在数学领域表现屡受诟病。
基础数学问题中，大模型常因数字token处理偏差、上下文干扰等因素得出错误结论；在2024年国际数学奥林匹克竞赛基于证明的题目中，顶级AI模型平均分不足5%，暴露逻辑断层、创造力缺失及依赖未经证明假设等核心缺陷。
谷歌的AI在2024年IMO比赛中相对于人类竞争对手的表现，获得了总分42分中的28分，达到了与比赛中银牌得主相同的水平
尤其在组合数学领域——这一广泛应用于金融科技、密码学等前沿领域的数学分支，现有模型均未能实现有效突破。而这正是洪乐潼的专长领域。作为一位在组合数学领域有深入研究的数学家，她发表了多篇关于这一领域的研究论文，包括关于弹出栈（pop-stack）排序算法的研究，并且特别钟爱她在数论方面的工作。Axiom基于形式化数学证明的AI模型的技术路径恰好直击这一行业痛点。
当然，现在Axiom最大的问题是，产品目前还是0，团队构成也尚不明确。洪乐潼能否真正推动AI在严密数学推理领域的突破，助力金融科技迈上新台阶还是一个未知数。但这个00后天才少女的名字，值得被持续关注。
文中所用图片来源网络
【编者声明】
本公众号部分素材来自网络，版权归原作者所有。编者收集整理，旨在与大家分享学习。如您认为某些内容侵犯您的权益，请及时告知，我们核实后将采取相应措施。