天才少女辍学创业！专治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年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。
之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。
相关内容
热门资讯
开挂透视！德州局怎么透视，hh...
开挂透视！德州局怎么透视，hhpoker真能买到挂吗，机巧教程（有挂助手）-哔哩哔哩1、hhpoke...
实测必看!！椰子大厅辅助脚本，...
实测必看!！椰子大厅辅助脚本，wepokerplus开挂，经验教程（确实有挂）-哔哩哔哩1、完成椰子...
记者获悉!新海王软件辅助(辅助...
记者获悉!新海王软件辅助(辅助)其实是真的辅助插件(有挂猫腻)-哔哩哔哩1.新海王软件辅助 选牌创建...
教你透视！fishpoker透...
教你透视！fishpoker透视，微信微乐游戏苹果辅助器，手段教程（真的有挂）-哔哩哔哩1、fish...
解迷透视！wepoker透视脚...
解迷透视！wepoker透视脚本是什么，wepoker永久免费脚本，法门教程（真是有挂）-哔哩哔哩一...
玩家必用！丽水都来大菠萝脚本辅...
玩家必用！丽水都来大菠萝脚本辅助，有哪些免费的wpk作必弊码，方式教程（有挂猫腻）-哔哩哔哩进入游戏...
今年以来!莆田情怀脚本辅助器(...
今年以来!莆田情怀脚本辅助器(辅助)真是真的有辅助插件(有挂教程)-哔哩哔哩莆田情怀脚本辅助器脚本下...
科普透视！德普软件，微信卡五星...
科普透视！德普软件，微信卡五星小程序辅助，总结教程（有挂详细）-哔哩哔哩1、很好的工具软件，可以解锁...
曝光透视！wpk德州局怎么透视...
曝光透视！wpk德州局怎么透视，如何判断wpk辅助软件的真假，绝活儿教程（有挂方式）-哔哩哔哩1、这...
必备攻略！斗城麻将辅助器有开挂...
必备攻略！斗城麻将辅助器有开挂，wepoker透视是真的吗，课程教程（确实有挂）-哔哩哔哩进入游戏-...