近日，创投圈被一则消息刷屏——3月16日，AI初创企业Axiom正式宣布完成2亿美元A轮融资，折算成人民币差不多有14亿元。让人意外的是，这家成立还不到一年、估值就高达16亿美元的独角兽企业，创始人竟然是一位00后女生。
这位传奇创始人名叫洪乐潼，出生于2001年，是个地地道道的广州姑娘。在创业之前，她就已经是圈内小有名气的天才学霸，最让人惊叹的成绩，就是仅用3年时间，就修完了麻省理工学院（MIT）数学与物理双学位，要知道，普通人哪怕只修一个学位，通常也需要4年时间。
洪乐潼的天赋，从小就藏不住。她出生在广州天河区，父母是来自潮汕的务工者，虽然没接受过高等教育，却一直全力支持女儿学数学。中学时，她就读于华南师范大学附中，凭借过人的数学天赋入选广东奥数省队，还多次在“华罗庚金杯”、全国高中数学联赛等知名赛事中获奖。
2018年，洪乐潼更是凭借美国数学奥林匹克国际营唯一非美籍满分选手的身份，被MIT数学系提前录取，从此开启了她的学术开挂之路。2019年进入MIT后，她没有安于现状，反而主动挑战数学与物理双学位，靠着极致的自律和勤奋，3年就顺利毕业。
在校期间，她不仅成绩优异，还担任了学校数学协会主席，额外修读了20个硕博阶段的课程，发表了9篇高质量学术论文，涉及多个数学前沿领域，发表的期刊也都是国际顶尖水平。除此之外，她还拿过不少重量级荣誉，比如每年只颁给一名本科女生的爱丽丝·谢弗奖，还有北美数学本科生的最高荣誉——AMS-MAA-SIAM摩根奖，成为该奖项历史上第五位女性得主。
虽然在学术上一路高歌猛进，但洪乐潼并没有一直待在象牙塔里。2022年，她靠着罗德奖学金，前往牛津大学攻读神经科学硕士，期间还在伦敦大学学院做人工智能和机器学习相关的研究，也就是在这个时候，她开始思考人工智能和科学家未来的相处模式，为后来的创业埋下了种子。
2024年，洪乐潼进入斯坦福大学，攻读数学与法学双博士，可就在所有人都以为她会继续深耕学术时，她却做出了一个惊人的决定——从斯坦福退学，和Meta AI前研究员Shubho Sengupta一起，创办了AI公司Axiom，目标就是打造“AI数学家”，用人工智能破解数学难题，推动可验证人工智能的发展。
创业从来都不是易事，但洪乐潼凭借扎实的学术功底和清晰的思路，很快就组建起一支“梦之队”。团队里不仅有曾任Meta AI研究总监的Shubho Sengupta担任CTO，还有率先把Transformer模型用到数学领域的François Charton做核心科学家。
更让人震撼的是，前美国数学学会副会长、弗吉尼亚大学终身教授小野健，竟然主动辞去教职，全职加入Axiom。而小野健，正是洪乐潼在MIT本科时期的导师，这份师生情谊，也足以看出他对洪乐潼能力的认可。
这支不到10人的小团队，只用了4个月就交出了亮眼的成绩：自主研发的Axiom Prover系统，1天就攻克了悬置30年的埃尔德什第124题，5小时就推翻了埃尔德什第481题的现有结论，相关成果还被国际数学会议NeurIPS 2025收录为特邀报告。之后，这个系统在普特南竞赛中还拿到了12题全对的满分，要知道，这项被誉为“本科生数学奥林匹克”的竞赛，近百年历史里只有5人达成过这个成就。
此次A轮融资由Menlo Ventures领投，之前投资过的Greycroft、Madrona Venture等老股东也继续加码。筹集到的2亿美元，将全部用于Axiom在可验证人工智能领域的研发。和市面上大多靠概率生成答案的AI不同，Axiom专注于形式化验证，能从根本上保证结果的正确性，解决生成式AI的“黑箱难题”。
这种技术不仅能用到数学领域，还能迁移到代码验证、金融、国防等关键领域，规避潜在风险。如今，25岁的洪乐潼，从MIT学霸变成00后创始人，再到带领公司拿下14亿融资，用实际行动打破了人们对00后的固有印象。
（文/人间观察员）