25岁天才少女狂揽14亿！这才是00后最牛打开方式。25岁广州姑娘洪乐潼，斯坦福辍学创业，成立才一年，就拿下2亿美元（超14亿人民币）A轮融资，公司估值飙到110亿，妥妥的最年轻AI独角兽创始人。 2026年3月的某个深夜，硅谷一间会议室里，屏幕上跳动着"16B"——16亿美元估值。在场的投资人沉默了几秒，然后集体重新校准了对中国00后创业者的所有认知。 这个数字背后，站着一个25岁的广州姑娘洪乐潼。她所创立的AxiomMath公司成立尚不足一年，团队仅二十余人，却成功斩获2亿美元融资，企业估值径直飙升至110亿人民币，发展势头锐不可当。更疯狂的是，她解决的问题，连GoogleDeepMind都没完全搞定。 这不是天才故事，是一场精准到可怕的技术押注。 2001年，洪乐潼降生于广州天河区的一户普通人家。其父母皆为辛勤劳作的打工人，于平凡生活中努力营生，抚育着洪乐潼成长。此子自幼在数学领域天赋异禀，宛如开挂。17岁那年，他参加美国数学奥林匹克国际营，身为唯一非美国籍选手，以满分的优异成绩脱颖而出。凭借这卓越表现，他被麻省理工学院提前相中，成功获得录取资格。 在MIT的三年，她同时修数学和物理双专业，提前修完所有课程，还自学了20门硕博课程。令人惊叹的是，她在《美国数学会会刊》《数论杂志》等顶级刊物发表9篇论文，而其研究的“月光猜想”课题极具挑战性，如此成就着实令人赞佩。22岁芳龄，她便在数学领域大放异彩。不仅荣膺全美女性数学家至高奖项爱丽丝·谢弗奖，更将北美数学本科生的无上荣誉摩根奖收入囊中，展现出非凡的数学天赋与实力 但她没继续走学术路线。2024年秋天，她在斯坦福读博士时，在校园旁边咖啡馆偶遇MetaAI研究总监ShubhoSengupta。两人聊了几个小时，把现在AI的致命问题聊透了：大模型能写代码、能生成内容，但就是个"黑箱"，靠概率推理经常出错，在金融、国防这些关键领域根本不敢用 "数学才是让AI有推理能力的正道。"这个念头一冒出来，洪乐潼马上决定辍学创业 她创办的Axiom，其名源于数学术语“公理”。此词在数学里代表着无需证明的基本命题，赋予了该机构一种严谨且基础的特质。此名蕴含深意，似将严谨、确定之数学精神融入其中，别具一番独特韵味。目标很明确：用Lean编程语言做形式化验证，让AI的每一步推理都像数学定理一样严格，从根上杜绝"瞎编"的问题 此方向究竟硬核到何种程度？公司成立仅四月，其AxiomProver系统便展现强大实力，短短几分钟就解答出达到国际数学奥林匹克（IMO）银牌水平的几何题。2025年底更炸裂——1天解决了悬置30年的埃尔德什第124题，5小时推翻了埃尔德什第481题的旧结论。于普特南大学生数学竞赛中，若能答对全部12道题，即可荣膺满分。但此项赛事已走过近百年历程，迄今仅有5人能成就这一非凡壮举，足见其难度之高 投资人的嗅觉最灵敏。2024年8月，洪乐潼于商业之途实现重大跨越，成功揽获960万美元种子轮融资。这笔资金如强劲引擎，为其事业发展注入澎湃动力，开启新的发展篇章。这一成果意义非凡，不仅淋漓尽致地彰显出项目潜藏的巨大潜力，更为未来的长远发展注入了一股强劲且源源不断的动力，为后续征程奠定坚实基础。 2025年11月，再度成功融资，获得了高达6400万美元的资金注入，为后续的发展增添强劲动力。今年3月，顶级风投Menlo Ventures在本轮A轮融资中领衔，展现出卓越的投资眼光与引领能力。与此同时，老股东亦持续追投，彰显对项目前景的坚定信心。企业成功募得2亿美元，这笔资金如强劲引擎，为企业发展注入源源不断的活力 为什么资本愿意押注一个25岁辍学生？因为她的团队用几个月完成了竞争对手Harmonic两年才达到的数学里程碑。此绝非公关之噱头，而是切切实实存在的技术代差。这般差距，并非营销手段的虚张声势，而是技术实力的真实分野 更为关键的是，她所组建的团队成员皆是出类拔萃的顶尖高手。他们身怀绝技，于各自领域大放异彩，展现出卓越的能力与风采。凭借自身的杰出表现，为团队的发展筑牢根基，助力团队不断前行。知名数学家小野健直接辞掉终身教授职位加入，前MetaAI研究总监当技术负责人。二十余位人物，皆非等闲之辈。他们各个身怀绝技、行事果决，举手投足间尽显狠辣风范，令人不敢小觑。 洪乐潼的事迹并非个例。在世间的广袤天地里，相似的故事或正悄然上演，它们如同繁星点点，汇聚成生活中不可忽视的别样风景。2026年的AI创业圈里，00后创业者有个"三没"特点：没行业经验束缚、没职业路径限制、没资源不够的焦虑。他们是看着GPT长大的，对AI技术的理解比前辈深太多。3个人能做出千万收入的业绩、24小时就能验证产品，这样的事经常发生。 信源：封面新闻——25岁广州天才少女,如何在硅谷拿下14亿元融资？
