2025年秋天，投资圈最热的话题不是哪家大厂又发模型，而是一张素颜证件照。
照片里的女孩笑起来眼角弯弯，简历却凶残到离谱：MIT双修、罗德学者、斯坦福双博，还没毕业就退学，三个月把一家“三无”公司吹成20亿人民币估值。
她的名字一夜之间刷屏，从广州天河到硅谷沙丘路都在问：洪乐潼到底给投资人灌了什么迷魂汤？
广州出发
广州天河一条寻常巷子里，水果摊的喇叭声和奥数班下课铃混成一片。
小学三年级的洪乐潼把橡皮当骰子，自己给自己出概率题；父母没念过大学，却舍得把攒下的铺租钱全塞进“希望杯”报名费。
别的孩子背《三字经》，她背π小数点后一百位，背错一次，老妈就笑着把糖水端走。
十二岁考上华南师大附中奥数班，书包里塞满草稿纸，坐263路公交回家，车灯晃得纸面密密麻麻像银河。
那次“华罗庚金杯”决赛，她提前半小时交卷，去隔壁便利店吃椰汁糕，回来顺手拎了个金牌。
街坊们只记得她瘦瘦小小，却能把菜市场口算速度虐到怀疑人生。初中班主任说，上课铃响她还在走廊算题，粉笔末落在头发上像小雪。
父母忙水果档口，她搬个小板凳坐在档口后面写卷子，收摊了用装荔枝的泡沫箱当书桌。
广州湿热，蚊子围着她转，她一手拍蚊子一手写解析几何，草稿纸背面印着“新鲜桂味”四个字。
一路跳级
MIT的课堂凌晨两点还亮着，洪乐潼用三年干完数学＋物理双学位，毕业论文写在拉马努金期刊，审稿人回信只有一句“elegant”。
本科毕业典礼那天，她没参加，直接飞牛津面试罗德奖学金，五万英镑、一张旧木桌、一杯冷掉的红茶，她把“AI能否发现新定理”说成诗。
2021年全球仅四名中国学子入选，她是最小那个。牛津硕士还没捂热，她又抱上斯坦福的数学＋法学双博士offer，旁人眼里是开挂，她只觉得“好玩”。
在牛津，她住的是百年宿舍，窗户漏风，冬天裹着羽绒写逻辑推导，室友是古典文学系学生，经常半夜被她敲键盘吵醒。
她跑去剑桥旁听牛顿曾坐过的教室，把《自然哲学的数学原理》拍照存在手机里当屏保。
罗德晚宴上，她穿着租来的黑袍，用英文讲“广州荔枝和数学猜想一样，剥开壳才知道甜不甜”，台下掌声雷动。
斯坦福的法学课对她来说是“语言游戏”。同学们讨论案例，她在底下把合同条款改写成形式逻辑，还能顺手找出漏洞。
导师说“你可以来当助教”，她摇头：“我要回车库写代码。”于是，数学系地下室多了一张行军床，外卖盒堆成小山，凌晨三点她还在黑板上画范畴论箭头，保安以为闹鬼。
咖啡溅出公司
2024年深秋，斯坦福教堂边的咖啡馆，洪乐潼把热美式洒在Meta前工程师Shubho的笔记本上，两人连说sorry边聊数学。
擦键盘的五分钟里，她抛出一句“让AI像数学家一样写证明”，对方回一句“对冲基金愿意花大价钱买”。
那天下午，退学表格就躺在她邮箱草稿箱。公司起名Axiom，中文“公理”，会议室用高斯、阿达·洛夫莱斯命名，十个人挤在Palo Alto车库，黑板上写着“Prove everything”。
车库原是一家倒闭的比特币矿场，电线乱如蛇，空调坏了，他们搬来二手工业风扇，吹得草稿纸满屋飞。
洪乐潼把行李箱当椅子，膝盖上搁电脑写Lean代码，饿了就去隔壁7-11买墨西哥卷，加双份芝士。
第一次路演，她穿T恤牛仔裤，站在YC Demo Day后台，用白板笔在玻璃窗写公式，投资人围成一圈，手机举高拍照，像看街头魔术。
公司没钱做品牌，她就把LinkedIn头像换成手写公理“∀x, P(x)”，结果收到两百多条私信，一半骂她“疯子”，一半求“让我加入”。
她挑人只看一道题：用三句话解释哥德尔不完备定理，答对了直接飞加州面试，机票自理，答错送一张广州明信片当安慰。
0产品换4亿
没有Demo、没有用户、没有官网，只有一份四十页白板照片，Axiom却在2025年10月完成6400万美元首轮融资，B Capital领投，估值3亿美元。
投资人理由直白：团队里有人18岁发四大期刊，有人拿过国际奥数金牌，这种密度“买少见少”。
洪乐潼在Zoom里只讲八分钟，把ChatGPT数学证明骤降到5%的痛点甩出来，再补一句“我们可以拉到90%”，估值就往上翻。
签完TS，她回广州吃宵夜，朋友圈只发了一张烧鹅皮，配文“脆”。
尽调那天，她把投资人拉进车库，现场出题：证明√2是无理数，让AI写Lean代码，十分钟跑完，机器给出完整推导，投资人看完沉默一分钟，当场拍板。
term sheet 上有一行小字：若一年内无法发布可验证产品，估值打对折。她笑笑签字，转头把条款贴墙上，写上“背水一战”。
钱到账第一晚，她带团队去拉斯维加斯看魔术秀，台上魔术师把飞机变没，她在台下改白皮书，嘴里念叨“比把定理变出来容易”。
回到加州，她租下整层写字楼，仍保留车库当“圣地”，新员工入职必须去车库睡一晚帐篷，体验“lean life”。
数学即未来
Axiom的第一行代码写进形式化证明库，AI每一步推导都要被“公证”。
目标不是刷榜，而是让模型自己提出猜想；洪乐潼说，如果AI能发明一条新定理，人类就多一把打开宇宙的钥匙。
下一步，她把视线投向金融建模、芯片架构，甚至高考阅卷——凡是需要“绝对正确”的地方，Axiom都想插旗。
被问成功概率，她掰着手指算：“失败九次，第十次对了，就把前面全赚回来。”24岁，她还有整片银河可以试错。
内部roadmap贴在厨房冰箱门：2026 Q2推出自动形式化工具，Q3把华尔街期权定价验证时间从三天压到三分钟，Q4发布“猜想生成器”内测。
她给每个功能起广州小吃名，比如“艇仔粥”代表多步推理，“双皮奶”代表递归验证，程序员饿了就去冰箱找灵感。
有人担心她跑得太快，她甩出一句：“数学里不存在速度，只存在 elegance。”
晚上十点，她一个人留在办公室，把灯光调成暗红，投影里跑着四色定理的代码，屏幕闪光映在她脸上，像少年在打游戏。
那一刻，广州巷口的荔枝香、牛津漏风的宿舍、斯坦福滚烫的咖啡，全汇聚成一行字：Prove everything。
参考资料
1.知乎专栏《一位广州00后女生爆红》
https://zhuanlan.zhihu.com/p/1915403815118701797
2.新浪财经《从罗德学者到AI创业者：00后洪乐潼用AI证明数学》
https://finance.sina.com.cn/cj/2025-06-10/doc-inezqfek3626133.shtml
3.腾讯新闻《24岁，她融资4亿，来自广州》
https://new.qq.com/rain/a/20251006A05H4R00
4.腾讯网《24岁，她融资4亿》
https://news.qq.com/rain/a/20251006A05H4R00
5.光通信Pro《24岁，她融资4亿》
https://www.c114.net.cn/industry/26320.html
本文作者 | 木易蜜责任编辑 | 淡淡翠策划 | 淡淡翠
配资平台查询,正规的配资网站,股票配资杠杆提示：文章来自网络，不代表本站观点。
