近日广州一名00后女学霸广受关注。这名广州女子洪乐潼仅用3年时间就拿到麻州理工学院（MIT）数学和物理双学位，更在史丹福大学博士在读期间退学，创立AI公司Axiom，成立仅一年多便获得2亿美元的A轮融资，公司估值飙升至16亿美元（约125.3亿港元），正式跻身全球独角兽企业行列。

据陆媒快科技报道，洪乐潼创立Axiom约1年多，聚焦AI数学基础层缺陷，核心逻辑是通过Lean程序语言建构验证系统，强制AI在推理时步步可验证，杜绝“幻觉”问题。其系统在无人干预下攻克两道困扰数学界数十年的世界级难题，引发学术界震动。

简单来说就是，现在的AI大模型（如ChatGPT）虽然能聊天、写诗，但在数学推理和逻辑证明上经常犯低级错误，甚至“一本正经地胡说八道”（幻觉）。洪乐潼的Axiom，就是要打造一位“AI数学家”，让AI能够像人类数学家一样进行严谨的逻辑推理和证明。

公开资料显示，作为初创公司的Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。

Axiom创业团队成员都是大神级别

Axiom的团队成员实力不俗。CTO Shubho Sengupta 曾是 Meta AI研究总监；核心科学家François Charton是率先将Transformer模型引入数学领域的先驱。最令人震撼的，是创始数学家Ken Ono曾在学术界指导过十位摩根奖得主，而洪乐潼正是其中之一。

出生普通家庭却拥非凡数学天赋

据羊城晚报报道，祖籍潮汕的洪乐潼2001年出生在广州，父母是从未上过大学的普通务工者。虽没有显赫的家世，但她自幼便展现出不凡的数学天赋。高一入选广东中学生英才计划，同时是当年全国中学生数学奥赛广东选区中，仅有的四位选手之一。

2019年，她考入麻州理工学院，攻读数学和物理双学位，在此期间发表9篇高水平数学论文，并拿下北美数学本科生最高荣誉——摩根奖。

随后她获得有“全球最难申请奖学金”之称的罗德奖学金，赴牛津大学攻读神经科学硕士。2024年，洪乐潼进入史丹佛大学攻读数学博士，但之后她做出一个大胆决定：退学创业，在美国创办Axiom Math。她认为当下的AI缺乏严谨的逻辑推理能力，决心自己动手解决这个世界级难题。

据中国科学报报道，2025年12月3日，洪乐潼入选“福布斯30岁以下30人精英”榜单。