00后天才学霸洪乐潼创立AI公司Axiom，成功完成2亿美元（约14亿人民币）A轮融资，公司估值达16亿美元（约110亿元人民币）‌ 。 这位出生于2001年的广州女孩，自幼展现出超凡的数学天赋。高中就读于华南师大附中期间，她便是全国中学生数学奥林匹克竞赛广东省队中仅有的四位女生之一，多次在华罗庚金杯、全国高中数学联赛等赛事中获奖 。 洪乐潼17岁被麻省理工学院（MIT）录取，仅用三年时间修完数学与物理双学位，本科期间发表9篇高水平学术论文，并荣获北美数学本科生最高荣誉——摩根奖（Morgan Prize）。她还曾获得全球最负盛名的国际奖学金之一“罗德奖学金”，赴牛津大学攻读神经科学硕士学位 。此后，她进入斯坦福大学攻读数学与法律双学科博士项目，后为创业选择退学 。 2024年深秋，她在斯坦福附近一家咖啡馆与前Meta AI研究总监Shubho Sengupta深入交流后，决定创立AI初创公司Axiom，专注于解决当前AI在数学逻辑推理上的根本缺陷，目标是打造能自主提出假设并严谨证明的“AI数学家” 。 Axiom的技术路线强调“可验证AI”（Verified AI），其自主研发的Axiom Prover系统已在无人干预下攻克多道长期悬而未决的数学难题，并在普特南数学竞赛中取得满分成绩，引发学术界与产业界高度关注 。公司成立不到一年即跻身“独角兽”行列，本轮融资由硅谷顶级风投Menlo Ventures领投，原有股东悉数跟投 。 洪乐潼的创业故事被视为“寒门逆袭”的典范——父母为广州普通务工者，未接受过高等教育，她的成就完全依靠个人天赋与极致努力 。她也入选2025年福布斯30岁以下精英榜，成为全球AI领域最年轻的女性创始人之一 。