天才少女辍学创业！专治AI说谎：20人估值110亿杀穿硅谷
创始人
2026-04-13 16:19:09
0次
快科技4月13日消息，25岁广州天才少女洪乐潼，从斯坦福博士退学创业，仅凭20人团队、成立不足两年，就把公司做到110亿元估值——这一消息震惊了硅谷，让无数风投挤破头。
2026年3月中旬，她创立的AI公司Axiom完成2亿美元A轮融资，并强势跻身独角兽行列。
Axiom不碰聊天机器人和文生图应用，而是专攻大模型最棘手的“幻觉”问题——用形式化验证技术从数学根源上封堵AI的胡说八道。
Axiom采用异构协作模式：大模型负责猜想与搜索，Lean编程语言负责最终验算，任何一步逻辑跳跃都会被系统直接拒绝通过。
2025年12月，Axiom核心系统AxiomProver在普特南数学竞赛中完成全部12道试题并取得满分，近百年来仅5位人类选手达成过这一成就。
同月，洪乐潼入选“福布斯30岁以下30人”榜单。
洪乐潼2001年出生于广州普通务工家庭，17岁考入麻省理工学院，三年修完数学与物理双学位。
本科期间发表9篇论文并斩获北美数学本科生最高荣誉摩根奖，还获得了美国每年仅授予一名女性本科生的Alice T. Schafer数学奖。
2021年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。
之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。
相关内容
热门资讯
六分钟了解透视器!剧乐部透视器...
六分钟了解透视器!剧乐部透视器AIapp,剧乐部多功能总是存在有透视器app1、下载好剧乐部正确养号...
分享一款辅助器!新老夫子辅助器...
分享一款辅助器!新老夫子辅助器AI技巧,新老夫子多功能真是存在有辅助器技巧1、实时新老夫子透视辅助更...
揭秘攻略作弊器!永州扯胡子作弊...
揭秘攻略作弊器!永州扯胡子作弊器AI技巧,永州扯胡子多功能真是有作弊器技巧1、任何永州扯胡子透视是真...
实测交流外挂!萍乡打滚筒外挂A...
实测交流外挂!萍乡打滚筒外挂AI攻略,萍乡打滚筒多功能果然存在有外挂攻略一、萍乡打滚筒可以开透视的定...
终于知道作弊器!快盈作弊器AI...
终于知道作弊器!快盈作弊器AI方法,快盈多功能总是有作弊器方法在进入快盈软件靠谱后，参与本局比赛的八...
重大发现作弊器!安徽麻将作弊器...
重大发现作弊器!安徽麻将作弊器AI方法,安徽麻将多功能一直真的是有作弊器方法所有人都在同一条线上，像...
科技揭秘透视挂!祺友互娱透视挂...
科技揭秘透视挂!祺友互娱透视挂AIapp,祺友互娱多功能一直存在有透视挂app进入游戏-大厅左侧-新...
一分钟揭秘作弊器!丫丫衡阳字牌...
一分钟揭秘作弊器!丫丫衡阳字牌3作弊器AI软件,丫丫衡阳字牌3多功能真是是真的有作弊器软件1、进入到...
实测教程开挂!易玩堂开挂AI教...
实测教程开挂!易玩堂开挂AI教程,易玩堂多功能竟然是真的有开挂教程1、实测教程开挂!易玩堂开挂AI教...
记者发布外挂!清风手游外挂AI...
记者发布外挂!清风手游外挂AI技巧,清风手游多功能一直是有外挂技巧在进入清风手游软件靠谱后，参与本局...