25岁广州00后女生，从斯坦福辍学创业，短短一年干出110亿估值的独角兽，还让57岁的美国数学泰斗辞掉终身教授职位，甘愿加入她只有十几人的初创公司！这位叫洪乐潼的姑娘，直接刷新了AI创业圈的新纪录。 就在不久前，洪乐潼创办的AI公司Axiom，刚拿下2亿美元A轮融资，公司估值冲到16亿美元，折合人民币110亿。这家公司的核心业务，是打造能自动验证代码、攻克复杂数学难题的“AI数学家”，能从根源上杜绝AI写代码的漏洞，还能服务于量化交易领域，刚创业时就拿下了近6600万人民币的种子轮投资。 更让人震撼的是她的神仙团队。她拉来了57岁的模形式领域顶尖学者、美国数学学会前副会长小野健，这位业内公认的数学泰斗，为了加入她的公司，直接辞掉了弗吉尼亚大学的终身教职，放弃了无数大厂的高薪邀约。除此之外，她的核心团队一半成员来自Meta AI研究院，个个都是行业顶尖人才，面对拿到英伟达、红杉投资的头部对手，她也底气十足，直言自家技术的推进速度远超对方。 而翻开洪乐潼的履历，才知道这份传奇从来不是偶然。01年出生的她是广州姑娘，高中就读于华南师大附中，高一就在全国数学奥赛中晋级，17岁考入麻省理工学院攻读数学和物理双学位，拿下了北美数学本科生最高荣誉摩根奖，之后又拿下牛津大学神经科学硕士学位，考入斯坦福大学攻读数学与法学双博士学位，24岁时毅然退学创业。 从奥数天才到百亿独角兽创始人，这位25岁女生的故事，让无数人看到了天赋与热爱的力量。 你怎么看这位00后女生的创业传奇？