“我热衷于用AI来做数学。”洪乐潼用极快的语速，描述正在做的事情。
“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”
这位留着黑色长卷发的25岁广州女生，身上叠满buff。
这位数学才俊，毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。
2025年，DeepSeek横空出世，洪乐潼感慨，“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。”
她说，DeepSeek的故事，也是她“想亲自书写的故事”。Axiom的创始团队，同样小而专注，有一半来自Meta AI研究院。
AI时代造神，一切皆有可能。
排查代码
洪乐潼的办公室位于硅谷的帕洛阿尔托（Palo Alto）大学大道，距离斯坦福大学不远。2025年7月中旬，她和团队才搬进这里。
公司取名Axiom（公理），源自数学术语，目标是创造“AI数学家”。
一群数学家在捣鼓的业务，看似抽象，简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。
其价值在于，用AI写代码，无法知道代码何时存在漏洞。
而Axiom的技术可以杜绝这类错误，借助Lean编程语言，研发出能够从形式上证明答案是否正确的技术。
凭借这个想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资，约6600万元人民币。
在她的设想中，未来Axiom的产品，可服务于对冲基金和量化交易公司，可快速解决与资产定价、股市预测相关的复杂数学问题。
投资机构也看到其潜在价值，是提升AI生成代码质量的有效途径。
3月中旬，洪乐潼宣布，从Menlo Ventures, Greycroft and Madrona等风投公司，筹集到2亿美元A轮融资，约合人民币14亿元。
“Axiom很小，却很强。我们在探索各种更聪明的技术来降低成本，资本效率很高。”她透露，融资到手后，一部分是算力成本，一部分会花在招聘上。
公司使命是“从AI数学家起步，打造自我改进的超级智能推理器”。
洪乐潼并非一枝独秀，有人正在做着与她类似的研究，而且比她更早入局。
其竞争对手Harmonic，不仅能攻克数学难题，在代码编写和芯片设计领域也展现出潜力。最新估值达14.5亿美元，英伟达、红杉资本、瑞比特资本等都是股东。
洪乐潼并不担心。
“我们主要竞争对手Harmonic花了两年多，才达成第一个重要数学里程碑，我们快很多。”她透露，已经有不少意向客户找上门。
师徒联手
洪乐潼的创业，始于一次咖啡馆中的闲聊。
2024年深秋，洪乐潼在斯坦福大学附近的咖啡馆，遇见了时任Meta AI研究总监的Shubho Sengupta。
几小时交谈后，两人决定一起用AI，解决世界上最棘手的数学问题。
不久，洪乐潼退学创业，Shubho则成为Axiom第一位成员，现任CTO。
洪乐潼拉来的首位重磅业界大佬，是57岁的数学泰斗小野健（Ken Ono）。
他是模形式领域的顶尖学者、美国数学学会前副会长，拿过古根海姆奖、斯隆奖等荣誉，指导过十位摩根奖得主。
他的身影也不只出现在课堂，他也曾经为美国奥运游泳队提供数据分析，为电影《知无涯者》担任顾问，甚至出演啤酒广告，为了证明“64卡路里小于80卡路里”。
这位弗吉尼亚大学终身教授与洪乐潼结缘于麻省理工。彼时，大一新生洪乐潼，参与了小野健的数论项目。
师生关系延续至今，角色却已不同。
2025年底，小野健做出一个震动学术界的决定：辞去教职，带着全家搬到硅谷，加入一家只有15人的初创公司，工牌编号015。
其职位是创始数学家，舆论称这是“数学国家队级别的倒贴”。
小野健表示，促使他加入Axiom的动机是好奇心和学术探索，而非经济利益。
“我并非为了金钱而来。”小野解释道，自己曾拒绝过多家大型人工智能公司的高薪酬邀约。
他选择帮自己的学生打工，不仅因为洪乐潼开出“不设教学、不设行政、100%科研”的合约。更关键的是，AI对他的“降维打击”，让他感到兴奋。
“如果我的猜想能被机器在3天内推广到10个维度，我愿意当一个‘标注工’”。
洪乐潼的号召力不止于此。
短时间内，她组建了由17名顶尖研究人员组成的团队，核心科学家François Charton，是率先将Transformer模型引入数学领域的先驱之一。
“很多人来这里，是为了专注做技术，而不是应付一般的公司文化或人际问题。”
洪在接受采访时提到，研究者意识到，科学发现的时间线正被AI大幅压缩，这种“硬核科技”的快速推进，比大厂的稳定更有吸引力。
洪乐潼相信，当问题足够难的时候，人才密度会急剧上升。
目前，Axiom拥有20多名员工，洪乐潼忙着招兵买马。她在海外社交平台上频繁发布招聘信息，寻找有志于“用AI做数学”的同路人。
数学真美
洪乐潼的开挂人生，其实是一个关于天赋与勤奋的故事。
2001年，她出生于广州市天河区，曾就读于华南师大附中，数学天赋很早就显露出来。
高一，她就在全国数学奥林匹克选拔中晋级，并在华罗庚杯、全国高中数学联赛中屡获佳绩。
正是在奥数集训中，她对研究型数学产生了兴趣。
“奥赛就像持续释放多巴胺的快感，”她后来回忆道，而研究型数学像在撞墙，充满痛苦与煎熬——我其实特别喜欢这种挑战感。
2018年，17岁的洪乐潼考入麻省理工学院，攻读数学和物理双学位。
期间，她发表了9篇学术论文，并在2020年摘得北美数学本科生最高荣誉——摩根奖，以及爱丽丝·谢弗数学奖。
2021年底，她获得罗德奖学金，前往牛津大学攻读神经科学硕士。之后又进入斯坦福大学，攻读数学与法学双博士学位。
2024年某天晨跑时，她想起芯片巨头AMD首席执行官苏丽莎的忠告：要迎难而上。
于是，她下定决心，从斯坦福大学退学创业。
“我们在难题堆里，循环往复地经历着三种境界：苦苦求索、忘我拼搏，再到恍然大悟。而后，从心底说一声‘数学真美’。”洪乐潼写道。
新快报讯 二月初二“龙抬头”是祈福的好日子，今年恰好又是龙年喜庆加倍！这也是东莞东坑镇举行“卖身节”的日子，当天，年轻男女聚集在大街小巷泼水作乐，洒一身吉祥带回一年、一生的好运气！ 2024年东坑镇“二月二 东坑见” 新华社北京3月5日电 国务院总理李强5日在政府工作报告中介绍今年政府工作任务时提出，坚持不懈抓好“三农”工作，扎实推进乡村全面振兴。锚定建设农业强国目标，学习运用“千村示范、万村整治”工程经验，因地制宜、分类施策 近日，河南一家公司董事长在接受媒体采访时透露，公司将对员工生育进行奖励，生二胎奖励3万，生三胎奖励10万。这一消息一经报道，立即引发了社会的热议。据悉，该公司的生育奖励政策自2022年1月1日开始实行，目前已有五六名符合条 时间荏苒，不知不觉就过完了元宵，时间推移到了24年的3月，三月上映了不少的新作品。有台湾倾力打造的“新大作”《周处除三害》，靠着高燃又热血且正义的剧情，还有不一样的阮经天，《周处除三害》的票房非常惊艳，大有力压“春节 为进一步促进中外人员往来，中方决定扩大免签国家范围，对瑞士、爱尔兰、匈牙利、奥地利、比利时、卢森堡6个国家持普通护照人员试行免签政策。 2024年3月14日至11月30日期间，上述国家持普通护照人员来华经商、旅游观光、 新华社北京3月7日电 7日，中共中央政治局委员、外交部长王毅在十四届全国人大二次会议新闻中心举行记者会。（直播 | 十四届全国人大二次会议举行外交主题记者会） 王毅表示，当前，世界格局正在深刻变革，人类社会遭遇多重挑战 。本文链接：25岁广州女生，带出110亿独角兽http://www.sushuapos.com/show-1-59898-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
下一篇： 清明假期“北上赏春”成港澳居民热门选择