天才少女辍学创业！专治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年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。

之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。

第十分钟插件！微信小程序游戏破... 第十分钟插件！微信小程序游戏破解器，微乐小程序黑科技，模板教程（有挂脚本）-哔哩哔哩1、每一步都需要...

今日！智星德州有脚本吗（透视）... 今日！智星德州有脚本吗（透视）智星菠萝可以辅助吗-一直是真的挂（哔哩哔哩）1、实时智星菠萝可以辅助吗...

透视有挂！微乐家乡app下载，... 透视有挂！微乐家乡app下载，微乐小程序免费黑科技，教材教程（有挂修改器）-哔哩哔哩；微乐小程序免费...

微乐游戏公众号辅助器!微乐小程... 微乐游戏公众号辅助器!微乐小程序免费黑科技(透视)攻略-确实科普存在有挂亲，关键说明，微乐小程序免费...

八分钟安装！微乐家乡脚本助手，... 八分钟安装！微乐家乡脚本助手，微乐小程序免费黑科技，妙计教程（有挂修改器）-哔哩哔哩进入游戏-大厅左...

透视教学！微信微乐自建房辅助工... 透视教学！微信微乐自建房辅助工具，微乐小程序免费黑科技，机巧教程（有挂app）-哔哩哔哩微信微乐自建...

现场直击！aapoker怎么设... 现场直击！aapoker怎么设置提高好牌几率（透视）德扑HHpoker有挂吗-切实是真的挂（哔哩哔哩...

微乐小程序黑科技下载!微乐小程... 微乐小程序黑科技下载!微乐小程序免费黑科技(透视)方法-真是关于有挂1、让任何用户在无需微乐小程序免...

第1分钟辅助！微乐自建房辅助，... 第1分钟辅助！微乐自建房辅助，微乐小程序免费黑科技，手段教程（有挂平台）-哔哩哔哩1、该软件可以轻松...

近日！微乐自建房免费黑科技下载... 近日！微乐自建房免费黑科技下载苹果，微乐小程序黑科技，诀窍教程（有挂安装）-哔哩哔哩1、该软件可以轻...