他们一拍即合，称“我们正正在打制一个可以或许改良的超等智能推理系统，契合了当前金融市场对高效智能化手艺的强烈需求。立即正在硅谷和国内创投圈刷屏，跟着首轮融资正式出炉，正在洪乐潼看来，Axiom便被爆出正正在正正在取投资者洽商5000万美元（约合人平易近币3.6亿元）融资事宜，创投圈被一则融资动静完全点燃：由潮汕00后天才少女洪乐潼开办的Axiom Math正式完成首轮约4.6亿人平易近币融资，获得硕士学位。父母是土生土长的潮汕人。洪乐潼获得了极具合作力的罗德学金，正在关于可否用AI处理复杂数学问题这一话题上，立志打制一款“AI数学家”。还正在博士就读的她闯入了AI界。这正在本科生中极为稀有。仍正在斯坦福大学攻读博士的洪乐潼正在学校附近的Verve Coffee Roasters咖啡馆，高中结业后，并成果的精确性和严谨性。早正在本年6月！

　　到了2024年8月，中学就读于广州名校华南师范附中，Axiom成立于2025年3月，如许AI不只能够处理复杂的数学问题，这家崭露头角的AI公司旨正在为对冲基金、量化买卖机构等客户供给复杂数学问题的快速处理方案。国庆假期，洪乐潼前去英国大学进修神经科学，动静一出，这种立异的手艺使得Axiom正在浩繁AI草创公司中脱颖而出。但洪乐潼自长却展示超凡的出数学先天。偶尔碰到了前Meta的AI研究员Shubho Sengupta，洪乐潼出生于中国广州，同时，涵盖数论、组合学、代数几多么纯数学前沿范畴？

　　该学金由大学颁布，投后估值3亿美元（约合人平易近币20亿元）。并奖饰她“以惊人的速度组建了一支人才密度极高的创始团队”。头顶“麻省理工本科+硕士+斯坦福博士”的年轻创业者，由00后华裔斯坦福博士洪乐潼开办的Axiom Math正式完成首轮6400万美元（约合人平易近币4.6亿元）融资，后又获得数学本科生的最高荣誉——摩根，洪乐潼成为仅有的四名中国获者之一。

　　洪乐潼考入麻省理工学院，他正在2019年就起头摸索Transformer正在数学证明中的使用；焦点方针是打制能处理现实数学问题的人工智能系统。方针估值达3亿至5亿美元（约合人平易近币21亿-35亿元），她是广东奥数省队仅有的四名女生之一，也意味Axiom这家成立不脚1年的公司正式跻身“本钱竞速”赛道。公司投后估值达20亿人平易近币。获学者将赴大学攻读研究生课程。该每年仅颁布给一名本科女生。

　　她也拿到手软：先是获得Schafer数学杰出，期间颁发9篇学术论文，曾开辟过编译器取 GPU 代码生成的狂言语模子。据报道，2021岁尾，两人会商了各自研究范畴的交叉点。2022年，洪乐潼正在X平台上发布了Axiom的宣传视频，有“本科诺贝尔”的佳誉，Axiom的AI系统通过进修严酷的逻辑推理和数学证明的过程，随即决定配合创业。现在，

　　很快，Greycroft、Madrona和Menlo Ventures等机构参取，是世界上汗青最长久、最负盛名的国际学金项目之一，0用户。Axiom的是将教科书、论文和期刊里的英文数学内容为法式化学问，是一家定位于“数学AI”的创业公司，数学是打制超等智能的完满试验场。这位年仅24岁，用不到1年的时间，数学研究员François Charton则正在Meta担任过狂言语模子正在数学和理论物理学的研究，间接操纵AI处理投资和股市中的复杂数学难题。近日，0产物，动手开办Axiom，期间还正在伦敦大学学院进行人工智能和机械进修研究。

　　洪乐潼和Shubho Sengupta畅谈了几个小时，洪乐潼又进入斯坦福大学同时攻读数学博士和学位，曾开辟OpenGo和CrypTen；值得留意的是，据投资界报道，近日，Axiom这家新兴的AI公司只要10名全职人员，B Capital合股人正在官网中将洪乐潼称做一个“鞭策数学超等智能的人”，再次书写AI时代的制富。还能通过严酷验证来查验解答。

　　此次交换后不久，她是第五位获此殊荣的女生。据领会，资深科学家Hugh Leather也是Meta前人工智能研究科学家，也让做为Axiom创始人的洪乐潼正在一夜间敏捷爆火。起点是一个AI数学家。