洪乐潼为什么选择在硅谷创业？

ai 圈彻底炸锅了！据华尔街日报报道，五十七岁的美国数学传奇、弗吉尼亚大学终身教授小野剑突然辞职了，原因只有一个，他要去给一位二十四岁的中国女孩打工。你没听错，这位让他甘愿放弃铁饭碗的老板，正是他曾经的学生洪乐桐。可能大家要问了，洪乐桐是谁？他又干了什么？ 能让一个世界级的教授折腰加盟？回答这个问题之前，我们先得扒一扒洪乐同这个狠角色。他的履历根本不是普通的优秀，而是把爽文大女主的剧本演进了现实。这个出生在广州天河的潮汕女孩，从小就是中国父母梦里都不敢想的完美小孩。十四岁在草稿纸边缘写下 mit 激励自己， 十九岁杀进麻省理工，仅仅三年就修完物理和数学双学位，顺手还拿了本科生的最高荣誉摩根奖。但这还不够疯狂， 他转头又拿了罗德奖学金，去牛津读神经科学，接着杀向斯坦福，同时攻读数学和法律双博士。你没听错，一边搞最抽象的数学，一边啃最枯燥的发条。这种文理双修横跨英美顶尖名校的操作，简直就是把世界名校当副本在刷。但真正让他封神的，不是这些光环， 而是他的掀桌子能力。就在斯坦福博士快读完的时候，他突然觉得没劲退学，因为他发现了一个被巨头们忽视的巨大 bug。 现在的 ai 写诗画画很在行，但一做数学题就在胡说八道，像个不懂装懂只会背答案的差生。这位零零后潮汕妹子的逻辑是，既然这 ai 不 行，那我就造一个行的。他创办 xux， 发誓要搞出一个不靠蒙，而是靠严谨逻辑推理的 ai 数学家。结果就在十二月三日，他的 ai 在 无人干预的情况下，硬是攻克了困扰数学界数十年的两道世界级难题。公司成立仅四个月，融资四点六亿元，估值干到了二十一亿。 现在你明白教授为什么肯折腰了吗？据华尔街日报报道，当小野剑亲眼看到 ai 能像人类一样推理复杂的数学难题时，他被彻底震惊了。看到曾经的学生搞出这种神器， 他意识到加入红乐童不是自降身价，而是登上了一艘开往未来的船。这哪里是打工，这是五十七岁的钱浪在拼命抢占零零后主导的新世界的入场券。这绝对不是个例，像红乐童这样技能点点满的顶级零零后，正在批量出现接管比赛。二十四岁的陈元培来自广东，毕业于华南理工大学， 因为觉得现在的机器人笨手笨脚太难看，反手就拒了华为百万年薪的天才少年 offer 和斯坦福的深造机会。他躲进实验室手搓机器人，非要造出像人手一样灵活的灵巧手。前几个月，他的零出智能刚拿了高林和蓝池的投资，估值破亿。二十五岁的傅志出生于贵州铜仁乡村，清华博士读一半也休学了。 他在学校旁边的民房里起家，把无数台闲置电脑连起来，硬是做出了算力界的滴滴。这事干得太漂亮，连前百度总裁陆奇都亲自打电话要投他。还有硅谷那两位华裔女孩，二十二岁的 jessica wu 和十九岁的 serena g 为了解决 ai 数据的痛点，干脆退学创业。他们做的 ai 基础设施，现在让硅谷最顶级的资本排队送钱。更夸张的是，据太媒体报道，当你走进现在的投资机构，坐在谈判桌对面，掌握资金生杀大权的可能已经不是大叔，而是一批犀利的零零后投资人。从硬科技到新消费，从写代码到投项目，零零后已经全面进场。 为什么这届中国零零后这么猛？因为他们的版本更新了。我们总说，父辈们创业太苦，那是为了生存，为了追赶。而这届零零后，他们生在中国最强盛的时代，生来就是平视世界的玩家。他们不缺物质，不缺眼界，更不缺自信。他们创业不是为了苦哈哈的谋生，而是为了通关，为了酷，为了这事太有意思了， 没有苦大仇深，只有笑意人生的松弛感。世界变了，因为玩家变了。少年负重气，奋力自由时，当一群天才把改变世界当成一场不得不玩的游戏时，通关只是时间问题。这几天，全球数学界和 ai。

这绝对是二零二五年数学界和 ai 圈最炸裂的一条消息，一位五十七岁的美国顶级教授，主动辞掉终身教职，自掏半价费给一个二十四岁的中国女孩打工。这位教授叫小野剑，美国数论学界太逗， 弗吉尼亚大学终身教授，好莱坞和奥运会都请他当数学顾问，妥妥站在学术界金字塔尖的人物。但就是这样一位大神，放弃了铁饭碗，加入一家只有十几个人的初创公司当第十五号员工，而他的新老板，是他曾经的学生，一个零一年出生的广州女孩洪乐同。 什么样的中国女生？男人，数学界的巨人，心甘情愿给她打工？这个零零后天才少女到底有什么魔力？翻开她的履历你就明白了。高中考进华南师大附中，成为广东省奥数队仅有的四名女生之一， 华罗庚金杯全国数学联赛奖拿到手软。十四岁那年，她在草稿纸的边缘写下三个字母， m i t。 四年后，她真的考进去了， 在麻省理工红了彤，只用三年就完成了数学和物理双学位，还额外修读了二十门硕博课程，发表九篇高质量论文。 毕业时拿奖拿到手软。北美数学本科生最高荣誉的摩根奖，她是历史上第五位获奖的女生。罗德奖学金号称本科诺贝尔奖， 当年全球只有四个中国学生拿到，他是其中之一。之后去牛津读硕士，再去斯坦福，同时攻读数学博士和法学博士。到这里，所有人都以为他会沿着学术巅峰一路狂奔。结果他做了一个疯狂的决定， 对学创业为什么？仅因是一次咖啡馆的深度对话。二零二四年秋天，他和一位 met 前 ai 研究员聊了几个小时，话题只有一个，能不能用 ai 攻克数学难题。 那会儿， chad gpto 三被曝光，存在数学作弊嫌疑。洪乐桐一针见血指出问题，大模型数学测试准确率百分之九十六，但一旦要求展示推理过程，得分率骤降到百分之五。为什么会有这样的差异？因为训练方式有问题。 他要做的是打造一个真正的 ai 数学家，不光能算题，还能自主推理，甚至能提出人类从未想过的数学猜想。二零二五年三月， axiom math 在 旧金山成立。 axiom 是 公理的意思，是一切数学理论的起点。这个名字藏着他的野心，从最底层重新定义 ai 的 数学能力。 接下来发生的事，震惊了整个数学界。公司成立才四个月，团队核心成员只有四个人。洪乐同就带着他的 ai 系统，接连攻克了两道困扰数学界几十年的世界级难题。 艾尔德神第一百二十四题加法数论里的硬骨头，悬了整整三十年，没人能解他的 ai 用一天搞定。艾尔德神第四百八十一题 迭代算数难题，悬了四十五年，他的 ai 只用了五个小时。美国数学学会看完证明过程，只给了一句评价， 逻辑严谨，无任何隐性错误。更离谱的是，这家公司当时没有产品，没有客户，但硅谷顶级 vc 却争相投资，砸下六千四百万美元估值，直接干倒三亿美元。他们赌的是洪乐同这个人和他手里那套能改变数学的 ai， 而正是这样的战绩，让那位五十七岁的数学巨人坐不住了。小野剑曾经是 ai 的 坚定怀疑者，他调侃说， ai 是 r t f， 我是 natural。 言下之意， 人工智能想在数学上超过我。再等几十年吧。直到有一次，他参加了一场 ai 数学模拟的闭门测试， ai 挑战了他提出的十道未公开猜想，其中一道人类最短的证明是二十七行，还是他本人创下的记录，结果 ai 给出的答案只有十一行。 那一刻，这位资深数学教授被彻底震撼了。他看到的不只是一个 ai 模型，而是一个新时代的开端。洪乐同正站在这个新时代的风口浪尖， 而在他身后，还有一整代中国零零后正在集体崛起。清华零零后才人组创办的零四方机器人融资过亿，从耶鲁休学回国的杨峰于专攻保姆机器人订单签约数千万元。 还有零出智能联合创始人陈元培、共济科技创始人傅治清一色。零零后，他们正在全球最前沿的赛道上攻城略地。他们不再是异步异趋的追赶者， 而是从起点就瞄准世界的领跑者。他们不是为了生存而创业，而是为了热爱而战斗。这帮零零后，正在用最硬核的方式，让全世界重新认识中国。

这几天，全球数学界和 ai 圈彻底炸锅了。据华尔街日报报道，五十七岁的美国数学传奇、弗吉尼亚大学终身教授小野剑突然辞职了，原因只有一个，他要去给一位二十四岁的中国女孩打工。你没听错，这位让他甘愿放弃铁饭碗的老板，正是他曾经的学生洪乐桐。可能大家要问了，洪乐桐是谁？他又干了什么？ 能让一个世界级的教授折腰加盟？回答这个问题之前，我们先得扒一扒洪乐同这个狠角色。他的履历根本不是普通的优秀，而是把爽文大女主的剧本演进了现实。这个出生在广州天河的潮汕女孩，从小就是中国父母梦里都不敢想的完美小孩。十四岁在草稿纸边缘写下 mit 激励自己， 十九岁杀进麻省理工，仅仅三年就修完物理和数学双学位，顺手还拿了本科生的最高荣誉摩根奖。但这还不够疯狂， 他转头又拿了罗德奖学金，去牛津读神经科学，接着杀向斯坦福，同时攻读数学和法律双博士。你没听错，一边搞最抽象的数学，一边啃最枯燥的发条。这种文理双修横跨英美顶尖名校的操作，简直就是把世界名校当副本在刷。但真正让他封神的，不是这些光环， 而是他的掀桌子能力。就在斯坦福博士快读完的时候，他突然觉得没劲退学，因为他发现了一个被巨头们忽视的巨大 bug。 现在的 ai 写诗画画很在行，但一做数学题就在胡说八道，像个不懂装懂只会背答案的差生。这位零零后潮汕妹子的逻辑是，既然这 ai 不 行，那我就造一个行的。他创办 xu mess， 发誓要搞出一个不靠蒙，而是靠严谨逻辑推理的 ai 数学家。结果就在十二月三日，他的 ai 在 无人干预的情况下，硬是攻克了困扰数学界数十年的两道世界级难题。公司成立仅四个月，融资四点六亿元，估值干到了二十一亿。 现在你明白教授为什么肯折腰了吗？据华尔街日报报道，当小野剑亲眼看到 ai 能像人类一样推理复杂的数学难题时，他被彻底震惊了。看到曾经的学生搞出这种神器， 他意识到加入红乐童不是自降身价，而是登上了一艘开往未来的船。这哪里是打工，这是五十七岁的钱浪在拼命抢占零零后主导的新世界的入场券。这绝对不是个例，像红乐童这样技能点点满的顶级零零后，正在批量出现接管比赛。二十四岁的陈元培来自广东，毕业于华南理工大学， 因为觉得现在的机器人笨手笨脚太难看，反手就据了华为百万年薪的天才少年 offer 和斯坦福的深造机会。他躲进实验室手搓机器人，非要造出像人手一样灵活的灵巧手。前几个月，他的零出智能刚拿了高林和蓝池的投资，估值破亿。二十五岁的傅志出生于贵州铜仁乡村，清华博士读一半也休学了。 他在学校旁边的民房里起家，把无数台闲置电脑连起来，硬是做出了算力界的滴滴。这事干的太漂亮，连前百度总裁陆奇都亲自打电话要投他。还有硅谷那两位华裔女孩，二十二岁的 jessica wu 和十九岁的 serena g 为了解决 ai 数据的痛点，干脆退学创业。他们做的 ai 基础设施，现在让硅谷最顶级的资本排队送钱。 更夸张的是，据太媒体报道，当你走进现在的投资机构，坐在谈判桌对面，掌握资金生杀大权的可能已经不是大叔，而是一批犀利的零零后投资人。从硬科技到新消费，从写代码到投项目，零零后已经全面进场。为什么这届中国零零后这么猛？ 因为他们的版本更新了。我们总说，父辈们创业太苦，那是为了生存，为了追赶。而这届零零后，他们生在中国最强盛的时代，生来就是平视界的玩家。他们不缺物质，不缺眼界，更不缺自信。 创业不是为了苦哈哈的谋生，而是为了通关，为了酷，为了这事太有意思了，没有苦大仇深，只有笑意人生的松弛感。世界变了，因为玩家变了。少年负重气，奋力自由时，当一群天才把改变世界当成一场不得不玩的游戏时，通关只是时间问题。

你见过最年轻的一级估值创业者有多小？一个零零后女生，创业仅四个月，公司估值就冲到二十一亿人民币，她就是洪乐，同一个用数学天赋横扫全球顶尖学府，再用 ai 颠覆数学科研界的狠人。 接下来三分钟，咱们从他的成长轨迹到创业神话，一步步拆解他凭什么让资本疯狂压住先水？一组让普通人望尘莫及的数据，感受下什么叫老天爷追着为范！二零零一年出生在广州，高中就读华南师大附中，直接入学广东省中学生英才计划， 还是省奥数队里罕见的女生成员，不仅拿过中国女子数学奥林匹克金牌，还多次晋级美国数学奥林匹克。最牛的是二零一八年，十七岁的他以美国数学奥林匹克国际营唯一非美籍满分的成绩，被 mit 提前锁定录取，这可是全球顶尖学霸挤破头都想进的殿堂。 进入 mit 后，他更是开启了开挂模式，别人要四年读完的本科，他三年就修完了数学物理双学位，而且 gpa 是 满分五点零满季毕业。 更颠覆认知的是，二零二零年，她成为史上首位同年斩获两大顶级荣誉的亚洲女性。一个是北美本科数学最高荣誉摩根奖，另一个是全美女性数学最高荣誉 alice t shaffer 奖。要知道，这两个奖项单独拿一个都难如登天，她却一次包揽学术实力直接拉满。二零二一年，二十岁的她又拿下了被誉为全球青年领袖摇篮的罗德奖学金，去牛津大学读神经科学硕士，只用九个月就顺利毕业。 二十二岁回到美国，直接入读斯坦福大学，攻读数学加法学双博士学位。看到这，可能有人会说，好好的学霸为啥非要折腾创业？答案很简单，他想用 ai 解决数学界的千年难题。二零二四年，洪乐同从斯坦福退学，正式创立 ai 数学证明公司 x o m f。 而真正的震撼才刚刚开始，仅仅四个月后，他的公司就完成了六千四百万美元的首轮融资，头后估值直接冲到三亿美元，折合人民币二十一亿。 要知道，普通初创公司在成立四个月时，大多还在打磨产品原型，团队也就五到十个人。而洪乐同已经吸引了五十七岁的数学泰斗小野剑，辞调终身教职加入 团队，汇聚了前 met、 谷歌 ai 的 核心成员，全是数学、计算机领域的顶尖人才。可能有家人看不懂他到底做了什么，能让资本这么疯狂，其实核心就一件事，用 ai 做数学证明。 咱们通俗点说，数学里有很多猜想和定例，比如哥德巴赫猜想，顶尖数学家可能要耗费几十年甚至一辈子去验证它的正确性。而 洪乐同的团队开发的 axiom prover 系统，能用一种叫 lin 的 形式化语言自动完成这些复杂的数学证明，而且全程可验证零误差，有两组数据能直接体现这套系统的实力。曾用一天时间搞定了悬致三十年的艾尔德时第一百二十四题，又用五小时攻克了悬致四十五年的艾尔德时第四百八十一题。 这两道题之前都是全球数学家公认的硬骨头，更重要的是，这项技术不只是用来解决纯数学问题，还能用到芯片设计、量化金融、生物医药这些对数学严谨性要求极高的领域。 比如芯片设计里的逻辑验证、量化金融里的风险模型推导，有了这套系统，能大幅提升效率，降低出错概率，市场潜力至少千亿级。从十七岁的奥数天才，到横跨数理、神经科学、法学的跨学科学霸，再到四个月估值二十一亿的创业者， 洪乐同的故事其实给了我们一个很重要的启示。在 ai 时代，基础科学的硬实力才是最核心的竞争力。资本之所以愿意在他公司还没有规模化收入的时候就砸下重金，本质上是压住他的顶尖人才背景，压住 ai 数学，证明这个高壁垒赛道的未来。 现在，洪乐同的团队已经发布了 xm pro 系统的正式版本，正在推进商业化落地。有人说它会成为 ai 数学领域的下一个马斯克， 也有人担心他能不能兑现高估值的预期。你觉得这位零零后学霸能改写 ai 与数学结合的未来吗？欢迎在评论区聊聊你的看法，关注我，后续继续跟进他的创业进展，带你解锁更多硬核科技创业故事。

朋友们，小说里的爽文女主走进现实，这个零零后天才少女洪乐同，没有产品没有客户，被硅谷下注三亿美元，从斯坦福双博士退学，勇闯 ai 创业，连五十七岁的导师都裸辞加入。而这个零一年潮汕女孩，父母只是普通务工人员，没有高等教育背 景，她是家里第一代大学生，从小就展现惊人数学天赋，高中成为广东省奥数队仅有的四名女生之一。 十七岁以优异成绩进入麻省理工，仅用三年就完成所有课程，还额外修读二十门硕博课程，获得了摩根奖和罗德奖学金本科数学天花板的荣 誉，并进入牛津大学攻读神经科学硕士，在斯坦福大学进修数学和法学博士。但去年他做了一个疯狂的决定，放弃他双博士学位投入别爱数学这个领域，那是占 g p t， 还陷入数学测试作弊嫌疑。而洪乐同一针见血指出训练数据的问题，并 励志要用 ai 攻克数学难题，打造真正的 ai 数学家。而洪乐同所要构建的 ai 数学模型，目标就是为科学研究、芯片 设计、金融建模等领域实现底层突破。目前团队已经有层 meta fare 研究员、 google deepmind 背景的专家，以及他五十七岁的数学老师跳槽加入，而这也是硅谷投资人敢于掏出真金白银支持他的核心原因。

这几天，全球数学界和 ai 圈彻底炸锅了。根据华尔街日报报道，五十七岁的美国数学传奇、弗吉尼亚大学终身教授小野剑突然辞职了，原因只有一个，他要去给一个二十四岁的中国女孩打工。你没有听过， 这位让他甘愿放弃铁饭碗的老板，正是他曾经的学生洪乐同。可能大家又问了，洪乐同是谁呀？他又干了什么能让一个世界级的教授择邀加盟呢？回答这个问题之前，我们先得扒一扒洪乐同这个狠角色。 他的履历根本就不是普通的优秀，而是把爽文大女主的剧本演进了现实。这个出生在广州天河的潮汕女孩，从小就是中国父母梦里想都不敢想的完美小孩，十四岁在曹高子病院写下 mit 激励自己。 十九岁，他的履历根本不是普通的优秀，而是把爽文大女主的剧本演进了现实，还顺手拿了本科生的最高荣誉摩根奖。 但这还不够疯狂哦，他转手就拿了罗德奖学金，去牛津读神经科学，接着又杀向斯坦福，同时攻读数学和法律双博士。你没有听错，一边搞最抽象的数学，一边啃最枯燥的法条。 这种文理双修横跨英美顶尖名校的操作，简直就是把世界名校当副本再刷。但真正让他封神的不是这些光环，而是他的掀桌子能力。 就在斯坦福博士快读完的时候，他突然觉得没劲，退学了。因为他发现了一个被巨头们忽视的巨大 bug。 现在的 ai 写诗画画很在行，但一座数学题就在胡说八道，像是个不懂装懂只会被答案的差神。 这位零零后潮汕妹子的逻辑是，既然这 ai 不 行，那我就造一个行的。他专门爱学马斯，发誓要搞出一个不靠蒙，而是靠严谨逻辑推理的 ai 数学家。结果就在十二月三日，他的 ai 在 无人干预的情况下，硬是攻克了困扰数学家数十年的两道世界级难题。 公司成立仅四个月，融资四点六亿元，估值干到了二十一亿。现在你明白教授为什么肯折腰了吗？ 根据华尔街日报报道，当小野剑亲眼看到 ai 像人类一样推理复杂的数学难题时，他被彻底震惊了。他看到曾经的学生搞出这样的神器，他意识到，加入红乐同不是在自降身价，而是登上了一艘开往未来的船。在哪里是打工啊？ 这分明是五十七岁的前浪在拼命抢占零零后主导的新世界的入场券。这绝对不是个例，像洪若彤这样技能点点满的顶级零零后，正在批量出现接管比赛。 二十四岁的陈元培来自广东，毕业于华南理工大学，因为觉得现在的机器人笨手笨脚太难看，反手就拒了华为百万年薪的斯坦福深造的机会。他躲进实验室手戳机器人， 非要造出一个像人手一样灵活的灵巧手。前几个月，他在临潼智能刚拿了高龄和蓝旗的投资，估值破亿。二十五岁的傅志出生于贵州铜仁乡村，清华博士读一半也休学了。 他在学校旁边的民房起家，把无数台闲置的电脑连起来，硬是做出了算力界的滴滴。这事干的太漂亮了， 连前百度总裁陆奇都亲自打电话要投他。还有硅谷那两位华裔女孩，二十二岁的杰西卡吴和十九岁的斯林娜杰，为了解决 ai 数据的痛点，干脆退学创业。他们做的 ai 基础设施，现在的硅谷，最顶级的资本排队送钱。 更夸张的是，据太媒体报道，当你走进现在的投资机构，坐在谈判桌对面，掌握资金、深涉大权的可能已经不再是大叔了，而是一批犀利的零零后投资人。 从硬科技到新消费，从写代码到投项目，零零后已经全面进场。为什么这届中国零零后这么猛？ 因为他们的版本更新了。我们总说副版本创业太苦，那是为了追赶，为了生存。而现在这些零零后呢？他们生在中国最强盛的时代，生来就是平视世界的玩家。他们不缺物质，不缺眼界，更不缺自信。 他们创业不是为了苦哈哈的谋生，而是为了通关，为了酷，为了这事太有意思了， 没有苦大仇深，只有笑意人生的松弛感。世界变了，因为玩家变了，少年富壮气，奋力自有时。当一群天才把改变世界当成一场不得不玩的游戏时，通关只是时间问题。

你敢信吗？二十四岁女孩，没产品、没客户，博士还没读完，在硅谷凭一个想法就拿到数亿估值。更夸张的是，五十七岁，世界顶尖数学家辞掉终身教职给他打工。 他叫洪乐同，零零后天才，高中奥赛省队，十七岁进 mit， 三年拿数学物理双学位，拿遍摩根奖、罗德奖学金、天花板奖项。 可他却从斯坦福退学创业，因为他发现 ai 致命伤， check the gpt， 写诗写代码溜，但碰高级数学就翻车，本质是概率预测游戏，只会背答案，不会推导逻辑。于是他创办 xm math， 用形式化证明语言，教会 ai 像数学家一样严谨思考。 十二月初，他的 ai 数学家无人干预，下一天和五小时就证明了悬置数十年的两道。埃尔德斯猜想，这只是起点。洪乐同说，数学是下一代超级智能的钥匙。从天河到硅谷，这个中国女孩，证明算力追逐有尽头，但逻辑飞跃永无止境。

你有没有想过，一个二十三岁的女孩能改变数学的未来？我是洪乐同，曾经是麻省理工的双学位学霸，牛津的罗德学者，斯坦福的双博士候选人。但今天我要告诉你的是，最疯狂的决定往往带来最惊人的突破。 记得在牛津的图书馆里，我常常对着那些几百年前的数学手稿发呆，那些泛黄的纸页上记录着人类最纯粹的智慧结晶。但当我看到现代爱联最基本的数学证明都漏洞百出时，我知道是时候做出改变了。 二零二四年那个雨夜，我在硅谷的咖啡馆里画下了第一张草图，一个能像人类数学家一样思考的 ai 系统。第二天，我就递交了斯坦福的退学申请。创业的前三个月，我们团队挤在车库改装的办公室里，每天工作十八个小时。 有投资人当面嘲笑我们，让 ai 做数学证明，这比教星星下象棋还难。但正是这些质疑让我们更坚定。你知道吗？数学界有上千个学而未觉的猜想，有些已经困扰人类数百年， 而我们要做的就是教会 ai 用严格的逻辑去攻克他们。二零二五年十二月十五日，当我们的 action 系统首次独立证明了两道埃尔德时，猜想时，整个团队都哭了。 那一刻，我仿佛看到那些图书馆里泛黄的手稿在发光，人类智慧的接力棒正在传递给新的思考者。有人问我，为什么要放弃那么耀眼的学术道路？我的回答很简单，真正的天才不是会解析的人，而是敢于重新定义问题的人。 现在，我们正在把数学证明变成可编程的知识模块，未来，这些技术会用在金融建模、芯片设计，甚至航天计算中。所以，如果你也在某个深夜辗转反侧，因为一个看似疯狂的想法而心跳加速，记住我的话，最伟大的突破 往往始于一次勇敢的不循常理。不要害怕重新开始，因为这个世界永远需要那些敢于挑战不可能的人。你准备好写下自己的传奇了吗？

hi， i'm karina founders ceo of axiom， i was a mathematician for most of my life i'm 24 years old to build an ai mathematician you need three pillars ai programming languages and mathematics because of description we assemble or class team of experts from each of these three printers coming together so it's a very interdisciplinary approach every time you solve a mass problem you will get that instant a reinforcement of this is the thing that you love do and you want to continue doing it you get this little dopamine pits every time you solve annoying pick math。

这个女孩呢，她的名字叫洪乐同，今年二十四岁，听到她的名字哈，你应该比较陌生，那么今天为什么我要讲她呢？ 因为她的公司在二零二四年完成了六千四百万美元啊，大概四点六亿人民币的这么一个融资。 他的公司呢，目前估值是三亿美元，大概就是二十一亿人民币啊，那么大家一定非常好奇他的公司是做什么的呢？啊，我先说一下他的公司做的内容，专注开发 ai 数学家系统，他的团队呢，非常的庞大， 他的团队吸引来了谁呢？五十七岁的世界级数学家小野剑，此人原来是 弗吉尼亚大学的终身教授啊，把一个铁饭碗不要了，加入这么一个小姑娘的公司啊，去做专注的去做这件事情。那么你可以想象一下 他对这件事情的看好。除了顶级数学家小眼镜之外呢，他还汇集了很多别的领域非常优秀的一些人才， 比如说前麦塔研究员，编辑器专家、理论物理学家等一些各个领域啊，顶尖的人才。所以你可以不相信他，但你要相信小野剑，相信这些顶级的人才， 他们为什么要跟他呢？所以这就是二十四岁这个小姑娘他的过人之处。年仅二十四岁的他啊，目前已经是斯坦福大学的博士了，只不过在二零二四年就去年的时候呢，他就辍学了，开始创业， 那估计他后面创业成功，或者说公司平稳发展的时候，他就再回去上课也不一定。胡乐同呢，是二零零一年六月八号的时候出生在了广州， 他是零零后的华裔数学家和企业家，他的父母是潮汕人，普通的工薪阶层，但是他呢，从小就展现出了非凡的数学天赋，那么一个人啊，成长轨迹呢，是很重要的，他能拥有，今天 我下面说一下他的教育经历哈，高中的时候，他就读的是华南师大附中，那么在高中期间呢，他就展现出了过人的数学天赋，在很多的这种数学比赛中呢，就斩获这个金奖。 本科呢，他就读的是麻省理工学，他读的是数学与物理双学位，他用三年的时间啊，就读完了整个所有本科研究生的课程。硕士，他是在牛津大学就读的，读的是牛津大学的神经科学。博士呢，就是在斯坦福大学， 虽然还没有毕业，但是呢，你想想他才二十四岁啊，简直太牛了。他目前开发的这个 ai 数学家系统，不仅能够解决数学难题，还能够进行严格的刑事化证明。 洪乐同呢，他是一个集数学天才，罗德学者， ai 创业者于一身的这个零零后的传奇人物， 他不仅在学术上达到了多位数学家一生难以企及的高度，还在创业领域呢，展现出了颠覆式的创新能力。就像他自己说的一样，他的目标是创造出能够帮助数学家专注于直觉发现的这种 ar 工具。 他目前在开发的这一款 ar 数学家系统，可能是数学界乃至人类知识领域的一次革命。中国女孩，二十四岁的洪乐同，潮汕姑娘真的很了不起。

谁能想到，一位五十七岁的美国顶尖数学家，竟辞去终身教职，转头跑去给二十四岁的中国学生洪乐同打工。 据华尔街日报报道，福吉尼亚大学数学教授 cannoel 近日正式辞去其终身教习，加盟由风门学生洪乐同创立的 ai 数学公司 zenmaf。 他的目标很明确，和这位年轻创始人一起，打造一个能真正做数学的人工智能系统。可 nono 是 谁？他可不是普通教授， 而是当代述论领域中的领军人物拉玛努金分拆月光猜想的关键推动者，培养出几十位摩根奖得主，洪乐同就是他最得意的学生之一。 如此一位功成名就的学者，为何甘愿放弃铁饭碗，投身一家成立不到一年的创业公司？答案就藏在洪乐同身上。 这位二十四岁的广州青年，履历堪称传奇，中学就读于华南师大附中，多次斩获奥数奖牌。 二零一八年，十七岁的他进入麻省理工学院，三年内完成数学与物理双学位，期间发表九篇跨领域论文， 并摘得美国本科生最高数学荣誉摩根奖，二零二二年成为中国仅有的四位罗德学者之一。之后牛津读神经科学，再进斯坦福，同时攻读法律和数学双博士。 在斯坦福，他和麦塔前， ai 科学家一拍即合， ai 加数学很可能引爆下一场科研革命。 去年夏天，他直接退学创业， xma 刚成立就融了六千四百万美元，估值飙到三亿。公司的核心愿景是构建一个 ai 数学家，不仅能验证、证明、求解难题，还能主动提出新猜想、发现新结构， 成为人类数学家的智能伙伴，而 kano 的 转变恰恰源于一次亲身实验。去年一场闭门研讨会上，他与三十位数学家共同测试最新 ai 模型，结果令他震惊。在某些非彼专长的领域， ai 的 表现已超越人类专家。 更关键的是，他意识到 ai 或许正在逼进数学直觉的边界。与此同时，美国高校的研究环境也在变化， 经费收紧、行政事务繁重，真正用于思考数学的时间越来越少。权衡之下，他做了一个大胆决定，举家前往硅谷，以第十五号员工身份加入 xma， 出任创始人学家。 他的任务是为 ai 设计只有真正理解数学本质才能攻克的难题，并建立一套评估体系，让 ai 知道自己进步在哪、方向何在。 如同绘这一张通往未知数学大陆的航海图。洪乐同说， canano 是 无数数学学子心中的灯塔，未来我们将与他一起推动 ai 成为数学研究的核心协作者，目标不仅是辅助，更是突破，比如解决悬置数百年的猜想，甚至开辟全新的数学疆域。 当人类最深邃的数学智慧遇上指数级增长的 ai 算力，那些曾被认为只属于天才的圣杯问题，或许真的将迎来被破解的曙光。

朋友们，你敢信吗？一个零零后广东女生，创办 ai 公司才四个月，估值就冲到了二十一亿人民币，甚至连美国数学界的传奇教授小野剑都辞掉了终身教职，跑来给他打工。这个女生叫洪乐同，她的人生轨迹可以说是现实版学霸爽文， 十四岁就在草稿纸上写下 mit 的 目标，十九岁杀进麻省理工，三年拿下物理和数学双学位，还拿到了本科最高荣誉摩根奖。 最后他还去牛津学神经科学，再杀向斯坦福，同时攻读数学和法律双博士。数学最抽象，法律最枯燥，他都能双线开挂，把世界顶尖名校当副本刷。但真正让他被全世界关注的，是敢掀桌子的能力。 在斯坦福读博时，他发现 ai 写诗画画很厉害，但做数学题就乱套。于是他果断退学，创办 action math， 励志要造出靠严谨逻辑推理的 ai 学家，你敢信吗？公司成立仅四个月，他的 ai 在 无人干预下，硬生生攻克了困扰数学界数十年的两道世界级难题。 消息一出来，全球数学界和 ai 圈都炸锅了，他的公司估值直接飙到了二十一亿元人民币。 敢想敢干，不怕颠覆传统！洪乐同身上的这股闯劲，只是这届中国零零后的一个缩影。二十四岁的陈元培毕业于华南理工大学，觉得现有的机器人笨手笨脚不够灵活。 于是他拒绝了华为百万年薪和斯坦福深造机会，一头扎进实验室自己琢磨，终于做出了像人手一样灵巧的机械手。最近，他创办的零初智能刚拿到投资， 估值已经破亿了。还有二十五岁的傅志来自贵州铜仁乡村，本在清华读博士，却发现算力不足是高性能 ai 最大瓶颈。果断休学，在学校附近的民房起家，把成百上千台闲置电脑连成自建算力网络， 打造出小型超级计算平台。被业内称为算力界的滴滴，直接帮多家 ai 团队降低研发成本。这一代零零后中国青年和过去完全不同，他们生在国家最强盛的时代，不缺物质，不缺眼界，更不缺自信。他们的心态也不同， 把改变世界当做一场必须玩的游戏，敢于挑战规则，不怕失败，勇于颠覆传统，敢把不可能变成现实。他们的眼里没有限制，只有机会，每一次尝试都是在刷新自己的边界， 每一次成功都是整个时代的加速器。朋友们，给这些正在崛起的中国零零后留下一个赞，让更多人看到这个时代的中国青年正在发光。我是硅基智能创始人司马华鹏，关注我，每天给大家带来更多正能量，咱们下期见！

天呐，五十七岁的数学界传奇小野剑教授，居然辞职去给二十四岁的中国女孩打工了！他的名字叫洪乐，同广州天河出生的潮汕妹子，十四岁立志进 mit， 十九岁拿下麻省理工物理加数学双学位。他的人生开挂操作如下，先在牛津读神经科学硕士，又拿了斯坦福数学和法律双博士。 然后读博读到一半觉得没劲，直接退学创业搞 ai。 那 么他干了啥？惊动全球，原来是他造了个 ai 数学家。现在的 ai 写诗画画六道飞起，但做数学题就像学渣瞎蒙。他创办的 axiomass 公司，四个月估值二十一亿， 因为他的 ai 在 无人干预下，连课两道世界级数学难题，分别是三十年来无人解出来的艾尔德十第一百二十四题，和四十五年没人解出来的艾尔德十第四百八十一题。那么，小野剑教授为啥辞职加入他的创业公司？ 用他自己的话说，不是为了钱。当他看到 ai 像人类一样严谨推理数学证明时，当场震惊到裂开，这不是打工，而是搭上了开往未来的飞船！

疯了！彻底疯了！就在刚刚，全球数学界爆出一个惊天大瓜，五十七岁的美国数学传奇，弗吉尼亚大学终身教授小野剑 kano no 突然宣布辞职。但他不是退休，也不是跳槽去哈佛，而是去打 工。最离谱的是，让他甘愿放弃铁饭碗的新老板，竟然是一个年仅二十四岁，刚从斯坦福退学的中国女孩！ 而且这个女孩曾经还是她在讲台下的一名学生。这位让学术泰斗俯首称臣的女孩叫洪乐同，她出生在广州，父母是地道的潮汕人。在这个零零后姑娘身上，你完全能看到什么叫拿了爽文大女主的剧本。 在广州读华复时，她就是横扫奥数的天才少女。到了美国，她简直是在集邮名校本科，麻省理工，双休数学物理，然后拿下全球最难申请的牛津，读神经科学， 回头又杀进斯坦福，攻读数学博士兼修法力。普通人做梦都不敢想的履历，被他当成了通关游戏。但真正的强者，从不按套路出牌。就在博士读到一半时，洪乐同做了一个惊人的决定，退学创业！他创立了 ai 公司 excel man。 很多人等着看笑话， 觉得他是小孩过家家。结果呢？二零二五年，他反手就甩出一张王炸成绩单，种子轮融资六千四百万美元， 公司估值直接飙到三亿美元，也就是整整二十一亿人民币。这一下，硅谷的资本圈坐不住了，连他的恩施小野剑都坐不住了，直接辞职加入，哪怕是给昔日的学生打工，也要搭上这趟通往未来的列车。为什么他能这么牛？因为洪乐同做的不是简单的聊天机器人， 他的目标是打造一个能像数学家一样做梦一样推理的 ai 系统。他要用数学的严谨逻辑去 股权 ai 胡说八道的短板，甚至要推动金融科技迈上全新的台阶。这是一场属于数学和代码的革命，而掌舵人正是这位来自岭南的二十四岁姑娘。从广州西关到硅谷湾区，从奥数少女到科技独角兽掌门人 洪乐同用实力证明了后生可畏，未来已来。这不仅是广东人的骄傲，更是全球零零后在 ai 时代写下的最强助角。如果你也佩服这股敢为天下先的闯劲，点个赞，评论区给他个鼓励吧，我们下期见！