潮汕00后天才少女缔造AI数学神话！Axiom Math首轮融资4.6亿，估值20亿震撼创投圈

近日，创投圈被一则重磅消息点燃：潮汕籍00后天才少女洪乐潼创立的AI数学公司Axiom Math，仅用10人团队便拿下首轮6400万美元（约4.6亿人民币）融资，投后估值飙升至20亿人民币！这位麻省理工本科、牛津硕士、斯坦福博士的“三料学霸”，用一场教科书级的创业突围，再次印证了“少年负壮气，奋烈自有时”的潮商精神。

一、从奥数冠军到硅谷独角兽：一场咖啡馆里的“数学革命”

洪乐潼的故事，始于华南师大附中的奥数省队。作为广东奥数省队仅有的四名女生之一，她曾获“华罗庚金杯”全国高中数学联赛冠军，高中时期便发表多篇数论、组合学前沿论文。但命运的转折点，却藏在一次硅谷咖啡馆的偶遇中——

2024年秋，斯坦福大学数学系在读博士洪乐潼，在旧金山Verve Coffee Roasters偶遇Meta前AI研究员Shubho Sengupta。两人围绕“AI能否攻克复杂数学证明”激烈讨论，一拍即合。随后共同创立Axiom Math，立志打造“能自我迭代的AI数学家”。

 Axiom公司创办人洪乐潼图片来源：麻省理工学院

二、技术破局：让AI像数学家一样“思考”

传统AI的“黑箱”困境，在金融量化领域尤为致命。洪乐潼团队另辟蹊径，瞄准数学推理自动化赛道：

核心突破：将教科书、论文中的数学内容转化为程序化知识，使AI能像数学家一样构建、验证证明，并输出可追溯的推理逻辑。

应用场景：为对冲基金、量化机构提供“数学即服务”（Math as a Service），解决投资组合优化、风险建模等复杂问题。

技术壁垒：团队独创的“严格验证框架”，确保AI解答100%可验证，彻底打破“答案正确但过程错误”的行业痛点。

三、王牌团队：Meta系精英的“降维打击”

尽管公司成立仅半年多，Axiom Math已集结Meta系顶尖人才：

CTO Shubho Sengupta：Meta FAIR团队前负责人，主导开发OpenGo（围棋AI）和CrypTen（隐私计算框架）；

数学负责人François Charton：Meta大模型数学应用先驱，2019年率先探索Transformer在数学证明中的应用；

科学家Hugh Leather：Meta编译器与GPU代码生成模型核心开发者。

“这是一支用数学思维重构AI的‘复仇者联盟’。” 硅谷投资人评价道。

四、潮商基因：从广州到硅谷的“少年派”

洪乐潼的成长轨迹，烙印着鲜明的潮商精神：

天赋与勤奋：尽管出生普通家庭，她凭自学3年修完麻省理工双学位，发表9篇顶刊论文；

跨界视野：牛津攻读神经科学，斯坦福探索“法律+AI”，始终站在学科交叉点；

使命感：“让数学发现像互联网一样指数级增长”——这句公司宣言，呼应着潮商“敢为天下先”的开拓基因。

五、00后创业潮：当“数学天才”遇上AI黄金时代

洪乐潼的崛起绝非偶然。2025年，以“数学+AI”为代表的硬科技赛道正迎来爆发：

DeepSeek（广东85后梁文锋创立）以数学推理突破大模型瓶颈；

Anysphere（MIT华裔团队）用AI编程工具估值90亿美元；

Mercor（三位00后创立）刷新AI招聘融资纪录。

“这一代年轻人不再追逐风口，而是创造风口。” 真格基金戴雨森如是说。

洪乐潼用4.6亿融资证明：真正的创新，始于对基础科学的敬畏，成于对商业本质的洞察。“数学发现的未来，就从这里开始。” 这或许正是潮商精神在AI时代的最佳注解——以智慧为帆，以勇气为桨，在未知的蓝海中开辟新航路。