00后风暴正在席卷AI领域,洪乐潼是其中的佼佼者。她创立的AI初创公司Axiom完成2亿美元A轮融资,由Menlo Ventures领投,Greycroft、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码。公司估值高达16亿美元(约合人民币110亿)。

洪乐潼今年25岁,出生于广州,曾就读于华南师大附中,多次在奥数竞赛中获奖。她的求学轨迹横跨麻省理工学院、牛津大学,直至在斯坦福大学攻读博士学位期间选择投身创业浪潮。投资界与洪乐潼的交流始于Axiom尚处水下时期,彼时创投圈传出其早期融资的消息。她在朋友圈写下的自勉:“祝自己做花也做树。缤纷热情,孤离兀立。”令人印象深刻。

Axiom的故事起源于一次咖啡馆的交流。2024年深秋的一个周末,23岁的洪乐潼在斯坦福附近的一家咖啡馆见到了时任Meta AI研究总监的Shubho Sengupta。几小时的交谈后,洪乐潼决定从斯坦福退学,着手创立Axiom。不久,她的名字在创投圈迅速流传。如今,Axiom宣布完成2亿美元A轮融资,成立不到一年即跻身独角兽行列。
就在短短5个月前,Axiom刚刚完成种子轮融资。该公司向外界展示了坚定信念:数学是构建AI推理能力的正确基础。去年12月,Axiom的核心系统在普特南竞赛中斩获12题全对的满分,这是近百年来仅有5人达成的成就。随后,该系统又自主证明了多个开放性数论猜想。
解决数学问题只是Axiom工作的一部分。他们正将这种“绝对正确”的数学推理能力通过迁移学习引入到代码验证领域,试图解决生成式AI的问题。目前,AI行业面临一个尖锐矛盾:大模型的能力狂飙,但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅,但在金融、国防或关键基础设施领域,任何基于概率的错误都可能酿成灾难。Axiom的答案是可验证人工智能(Verified AI),通过形式化验证确保结果的正确性。
当地时间2月27日,OpenAI宣布完成新一轮融资,募集资金总额达1100亿美元,公司投前估值升至7300亿美元。本轮融资由亚马逊领投500亿美元,软银集团与英伟达各出资300亿美元共同参与
2026-02-28 11:57:29OpenAI获1100亿美元融资因时机器人于2月24日宣布完成C1及C2两轮融资,总融资金额达到数亿元人民币
2026-02-27 17:32:34因时机器人获数亿元融资