当世界某些边际的校园在炮火中化为废地，确认的光辉被战争的黑暗所瞒哄时，在地球的另一端，一位25岁的广州仙女却用常识的力量点亮了东谈主类时髦的另一盏明灯。

2026年3月中旬，洪乐潼创立的AI初创公司Axiom秘书完成2亿好意思元A轮融资，公司估值高达16亿好意思元，约合东谈主民币110亿元，这位毕业于麻省理工学院和牛津大学的数学天才仙女，从斯坦福辍学创业仅一年多时期，便率领公司踏进人人独角兽行列。

这一事件不仅是中国后生创业者的色泽设置，更是“常识即是资产，常识即是力量”这一陈腐真谛在东谈主工智能期间的最新注脚。

洪乐潼的创业故事始于2024年深秋。其时正在斯坦福大学攻读数学与法学双博士学位的她，在一次与Meta AI斟酌员Shubho Sengupta的咖啡馆泛论后，坚决决定从这所世界顶尖学府退学，全身心干预创业海潮。

她的公司取名Axiom（公理），源自数学术语，观念是创造“AI数学家”。这家公司的中枢业务看似抽象却意思深刻：打造能自动考据诡计机代码的AI系统，其旨趣访佛于数学家证明复杂数学难题。洪乐潼明锐地知悉到现时AI行业的一个猛烈矛盾：大模子能力狂飙，但可靠性却弥远是个黑盒。用AI写代码，无法知谈代码何时存在间隙。

而Axiom的本事不错根绝这类造作，借助Lean编程谈话，研发出大致从步地上证明谜底是否正确的本事。恰是凭借这个颠覆性的想法，2024年8月，洪乐潼就拿下了960万好意思元种子轮投资，约6600万元东谈主民币。随后在2025年11月，公司又完成了6400万好意思元融资。

直到2026年3月，Axiom秘书完成由Menlo Ventures领投的2亿好意思元A轮融资，公司估值冲突16亿好意思元。面前，Axiom领有20多名职工，洪乐潼正忙着招兵买马，在国外应答平台上每每发布招聘信息，寻找有志于“用AI作念数学”的同路东谈主。

回溯洪乐潼果然认资格，是一条典型的天才成长轨迹。2001年出身于广州的她，父母都是宽泛务工者，从未上过大学。但洪乐潼的数学资质很早就显流露来，中学就读于广东名校华南师范附中，高中时期成为数学奥林匹克省队仅有的四名女生之一，屡次在华罗庚金杯、世界高中数学联赛等竞赛中取得佳绩。

2018年，她以USAMO（好意思国数学奥林匹克）国际营惟一非好意思籍满分选手的身份被麻省理工学院数学系提前中式。2019年进入麻省理工学院后，洪乐潼攻读数学和物理双学位，本科阶段就修读了20多门斟酌生课程，发表9篇高质地学术论文，触及模椭圆弧线与K3曲面的L函数、蟾光意象、弹出栈排序算法斟酌等范围。

她曾担任麻省理工学院数学协会主席，并荣获奖赏北好意思地区数学专科本科生隆起斟酌的AMS-MAA-SIAM摩根奖。2022年，洪乐潼凭借罗德奖学金赶赴牛津大学攻读神经科学硕士，成为夙昔中国大陆弃取的四名罗德奖学金得回者之一。

在牛津期间，她还在伦敦大学学院进行东谈主工智能和机器学习斟酌，其时她曾示意：“东谈主工智能与科学家改日的互动会如何？是我接下来但愿斟酌的课题。”2024年，洪乐潼进入斯坦福大学攻读数学与法学双博士，但仅几个月后便弃取退学创业。这条横跨麻省理工、牛津、斯坦福三所世界顶尖学府的修业之路，不仅铸造了她塌实的学术功底，更培养了她跨学科的想维方式和贬责复杂问题的能力。

“常识即是资产，常识即是力量”在洪乐潼身上得到了齐备诠释。她将难懂的数学常识滚动为具有巨大生意价值的本事贬责有蓄意。洪乐潼曾坦言：“数学何如赢利？咱们从一运行就面对这个挑战。

现在，生意信号照旧了了好多，数学能创造价值，是因为它能自我考据、自我查验。”Axiom的中枢本事恰是建立在严格的数学逻辑之上。公司通过历练东谈主工智能系统生成用Lean谈话编写的、经过步地化考据的输出，Lean是一种专为数学证明设计的编程谈话。

通过使用Lean，亚搏app登录Axiom不错确保东谈主工智能模子推理历程的每一步都是“可机器查验的”况且在逻辑上得到保证。这种本事不仅大致贬责数学难题——2025年12月，AxiomProver系统鉴识用1天和5小时，在无东谈主为干豫的情况下完成了埃尔德什问题集合第124题和第481题的证明；更紧要的是，它能将这种“都备正确”的数学推理能力，通过挪动学习引入到代码考据范围，贬责生成式AI的可靠性问题。

在洪乐潼的联想中，改日Axiom的居品可服务于对冲基金和量化往返公司，快速贬责与资产订价、股市猜度联系的复杂数学问题。这种将抽象数学表面与本色生意诈骗良好归并的能力，恰是常识滚动为资产的谬误所在。

洪乐潼的生效是多重成分共同作用的效果。领先是迥殊的资质与塌实果然认基础。她的数学资质在早期就已显现，而麻省理工、牛津、斯坦福果然认资格为她提供了世界一流的学术历练和科研环境。

其次是精确的时机主理。洪乐潼创业之时，适值东谈主工智能海潮席卷人人，大模子在代码生成方面取得冲突但面对可靠性瓶颈的关隘。她明锐地收拢了“可考据东谈主工智能”这一细分范围，贬责了行业痛点。

第三是强劲的团队守旧。Axiom的创举团队小而专注，有一半来自Meta AI斟酌院。团队还包括弗朗索瓦·沙尔东，他因率先诈骗Transformer模子贬责了一个困扰内行130多年的数学难题而闻明。致使连闻明数学家小野健也辞去弗吉尼亚大学毕生教职加入Axiom。

第四是了了的愿景与执行力。洪乐潼为公司设定了“从AI数学家起步，打造自我改良的超等智能推理器”的职业。她示意：“咱们创建Axiom，是为了将好奇的火花滚动为已知的真谛，并压缩取得冲突的时期线。”这种将强大愿景与具体本事旅途相归并的能力，使得Axiom在短时期内取得显贵确认。

第五是本钱的有劲救助。从960万好意思元种子轮到2亿好意思元A轮融资，Menlo Ventures、Greycroft、Madrona Venture、B Capital、Toyota Ventures等知名风投的连接加码，不仅提供了资金保险，更带来了行业资源和政策指挥。

洪乐潼的故事赐与咱们多方面的深刻启示。在确认层面，它证明了跨学科学习的紧要性。洪乐潼在数学、物理、神经科学、东谈主工智能等多个范围的常识积蓄，使她大致以独到的视角发现并贬责复杂问题。

这请示咱们果然认体系应当愈加遏制培养学生的跨学科想维和详细能力。在立异层面，洪乐潼的生效标明，基础科学斟酌与前沿本事诈骗不错造成良性轮回。Axiom的本事根植于深厚的数学表面基础，却又直面AI行业最繁难的本色问题。这种“从0到1”的原始立异，每每比单纯的本事迭代具有更大的冲突性和更经久的竞争力。

在创业层面，洪乐潼的资格展现了年青创业者的独到上风。25岁的她勇于从斯坦福退学，在竞争热烈的东谈主工智能范围开辟新赛谈，这种勇气和决断力值得扶助。同期，她也证明了创业者不仅需要本事专长，还需要对市集需求、本钱运作、团队开导等多方面有深刻和会。

在社会层面，洪乐潼的故事是“常识更变红运”的无邪体现。出身宽泛务工家庭的她，凭借迥殊的学术设置得回世界顶尖学府的意思意思，又通过创业将常识滚动为巨大的社会价值和经济价值。这为多量寒门学子成立了榜样，证明了在现在期间，确认仍然是结束社会流动和个东谈主价值的最紧要路子。

在人人竞争层面，洪乐潼和Axiom的出现，标记着中国年青一代在人人科技立异舞台上正饰演着越来越紧要的扮装。在东谈主工智能这一决定改日竞争力的谬误范围，中国后生创业者照旧具备了与世界顶尖团队同台竞技的实力和视线。

当洪乐潼在硅谷的办公室里泛论“用AI作念数学”的盼愿时，她不仅是在打造一家估值百亿的科技公司，更是在探索东谈主类智能与机器智能交融的新范围。

她曾充满情谊地描述：“Verified AI存眷的，毫不单是是修补AI的污点。真实对准的，是AI的上限，是通向超等智能的道路。”这种将本事追求与东谈主类时髦跨越相荟萃的强大视线，恰是这个期间最可贵的立异精神。

从广州到麻省理工，从牛津到斯坦福，从数学证明到代码考据，洪乐潼的旅程诠释了常识如何跨越国界、学科和传统范围，创造出更变世界的力量。在这个某些处所果然认法度仍在遭遇战火恣虐的世界里，洪乐潼和多量像她通常的年青立异者，正用常识和贤达开导着东谈主类共同的改日。

他们的故事告诉咱们：无论期间如何变迁亚搏app下载，常识永远是最可贵的资产，确认永远是最强劲的力量，而将这两者归并起来的立异精神，则是鼓励东谈主类时髦不休上前的最经久能源。

快乐飞艇APP官方网站

• 得回
• 25岁
• 亚搏app下载
• 添彩
• 仙女