天才少女辍学创业专治AI说谎！20人估值110亿杀穿硅谷-小皮游戏

当前位置：首页 > 行业资讯 > 天才少女辍学创业专治AI说谎！20人估值110亿杀穿硅谷

天才少女辍学创业专治AI说谎！20人估值110亿杀穿硅谷

时间： 2026-04-15 14:40 来源：小皮手游网我要评论

感兴趣的小伙伴可以持续关注“小皮游戏网”时刻了解后续相关资讯哦，下面让我们一起来看看吧!

游民星空

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年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。以上为本篇文章的全部内容，点击进入“小皮游戏网”，时刻了解最新游戏资讯。