洪乐潼25岁，其AI初创上月获A轮2亿，公司估值16亿。MIT本科数理，斯坦福数博退学创业。公司方向ai验证程序，正招人

来源: 天青云淡 于 2026-04-06 11:25:23 [] [旧帖] [给我悄悄话] 阅读数 : (1525 bytes)

洪乐潼（英文名：Carina Letong Hong），女，中国广州人，2001年出生，洪乐潼曾就读于华南师范大学附属中学，并入选2017年广东省中学生英才计划 。本科就读于美国麻省理工学院，用三年完成数学与物理双学位学业 ，并修读了20门高等数学课程 ，在此期间还发表了9篇论文，刊登在《美国数学会会报》、《拉马努金期刊》上。
2022年，洪乐潼入选罗德学者后赴牛津大学攻读神经科学硕士学位 ，期间还在伦敦大学学院进行人工智能和机器学习研究 。2024年8月，洪乐潼进入斯坦福大学攻读数学博士和法学博士，后退学并投身人工智能领域。同年创办Axiom Math公司，其团队研发的Axiom Prover系统在普特南竞赛中取得满分，并于2025年12月自主证明了埃尔德什问题#124（用时超24小时）和#481（用时5小时）等开放性数论猜想 。该项目致力于发展可验证人工智能，通过形式化验证确保AI推理结果的正确性。2026年3月，Axiom Math完成2亿美元A轮融资，估值达16亿美元 。团队包括人工智能与数学领域专家，如CTO Shubho Sengupta、核心科学家François Charton，以及传奇数学家小野健（Ken Ono）辞去终身教职加入。

所有跟帖： 

• 像这样的小留创业者，H1B/绿卡也会有问题吗？ -BeLe- ♀ 给 BeLe 发送悄悄话 BeLe 的博客首页 (0 bytes) () 04/06/2026 postreply 11:28:32

• 有创业小留分享自己办o1 好像没两三个月就下来 -米汤- ♂ 给 米汤 发送悄悄话 米汤 的博客首页 (0 bytes) () 04/06/2026 postreply 11:34:48

• 这人在mit就作弊，不作弊，课都学不下来，发论文也是靠别人。Reddit 早就有M的人爆料。在斯坦福是因为作弊被退学的。 -youtub- ♂ 给 youtub 发送悄悄话 youtub 的博客首页 (0 bytes) () 04/06/2026 postreply 11:32:38

• 还有这事？ -米汤- ♂ 给 米汤 发送悄悄话 米汤 的博客首页 (0 bytes) () 04/06/2026 postreply 11:36:03

• 有点意思，她是Rhodes Scholar -BeLe- ♀ 给 BeLe 发送悄悄话 BeLe 的博客首页 (180 bytes) () 04/06/2026 postreply 11:36:32

• 背景？ -bia- ♂ 给 bia 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:40:50

• 广东潮汕人， 父母没有念过大学 -Mike121212- ♂ 给 Mike121212 发送悄悄话 (108 bytes) () 04/06/2026 postreply 19:17:38

• 就是前两年谁谁谁在这里提到的学期中间缺课跟家人外出旅游，被教授揪出作弊的那个？ -数与形- ♀ 给 数与形 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:39:31

• 时间对不上。她在MIT获得罗德奖，你信这层层筛选的罗德奖会给一个作弊者？ -天青云淡- ♂ 给 天青云淡 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:45:32

• 应该给出证据来源。风投家们是绝对不可能投给一个作弊者，只有你能给出确实证据，她肯定是一点血同样下场。 -天青云淡- ♂ 给 天青云淡 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:41:06

• 这个的确有争议 -凊荷- ♀ 给 凊荷 发送悄悄话 凊荷 的博客首页 (169 bytes) () 04/06/2026 postreply 11:43:24

• 又看了一下公司的信息 -凊荷- ♀ 给 凊荷 发送悄悄话 凊荷 的博客首页 (36 bytes) () 04/06/2026 postreply 11:50:58

• 也是很好奇，这个公司的风险投资者是那里的？如果是老美风险肯定被仔细评估过，投资者如果是大陆的那就不好说了，动机可能有多种 -gegenion- ♂ 给 gegenion 发送悄悄话 (0 bytes) () 04/06/2026 postreply 12:03:21

• 据说axiom公司大模型做Putnam满分。现在风投有太多未变现增值，不投白不投；a16z领导也说过：不怕投错，就怕错过 -米汤- ♂ 给 米汤 发送悄悄话 米汤 的博客首页 (265 bytes) () 04/06/2026 postreply 13:06:10

• 这种话除非有证据有公开，不然可不能乱讲的 -trivial- ♀ 给 trivial 发送悄悄话 (120 bytes) () 04/06/2026 postreply 11:41:17

• Ken Ono 是知名学者， 她有好几篇论文是在Ono 指导下做的。Ono 去加入她的公司，至少证明她的导师认可她 -trivial- ♀ 给 trivial 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:43:26

• 你说的这个消息比较令人吃惊，如果是真的，这个小女孩未来的credits非常令人担忧！ -gegenion- ♂ 给 gegenion 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:42:22

• 小留发生啥都不稀奇 -阿拉拉- ♂ 给 阿拉拉 发送悄悄话 (0 bytes) () 04/06/2026 postreply 12:54:52

• 作弊这个事Google 一下就有lol -成功的米菲兔- ♀ 给 成功的米菲兔 发送悄悄话 (0 bytes) () 04/06/2026 postreply 11:47:53

请您先登陆，再发跟帖！