天才少女辍学创业！专治AI说谎：20人估值110亿杀穿硅谷
来源:互联网 更新时间:2026-04-13 12:26
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年她获得罗德奖学金赴牛津攻读神经科学硕士，随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。
之后她又考入斯坦福攻读数学与法律双博士，最终选择退学创业。
-
《Off Campus》第二季官宣：这对CP还在，但不再是主角
-
和平精英如何做到压枪稳-和平精英怎样才能压枪稳
-
下载浏览器app下载安装选择推荐
-
免费影视剧APP推荐
-
客单价碾压宝马奥迪！极氪5月交付新车34377辆：连续4个月双增长
-
儿子穿新中式现身大会堂 马斯克罕见用中文回应：他正在学习普通话
-
HBO 奇幻剧《龙之家族》第三季定档 6 月 22 日，最终预告片曝光喉道海战
-
Elysium Above 履云录官网在哪下载 最新官方下载安装地址
-
DOTA2 TI时隔七年重返上海！门票6月10日开抢，国服享受优先购买！
-
抖音最火沙雕男生网名(精选100个)
-
帅气继父网名女生可爱英文(精选100个)
-
网络热词聊污是什么意思
-
阿里发布Qwen3.7-Max大模型，全球第五、国产第一
-
SpaceX狂揽AI人才，马斯克亲自面试且不看简历背景
-
金铲铲之战s17六暗星卡莎阵容玩法构筑指南
-
免费看电影的软件推荐
-
我的末日校园海斗手游上线时间是哪天
-
名单曝光！库克、马斯克等将随团到访中国 黄仁勋不在其中
-
晨字沙雕网名大全女生(精选100个)
-
短剧《情绪超市》剧情介绍
-
1 AI工具如何高效赋能医美行业？实战专家为你揭秘 06-12
-
2 对话Kyth：小宇宙CEO如何理解AI播客？ 06-12
-
3 AI花式营销下，方太冰箱困在高端里 06-12
-
4 腾讯新出的 ima：行业调研的利器还是平平无奇的 AI 工具？ 06-12
-
5 大小模型兼用，库存管理的难题用AI解决了多少？ 06-12
-
6 用AI工具完成部门职责和岗位分解，1天干完1个月的活 06-12
-
7 AI + 影视，学会「避坑」再「吟诗 」丨CNCC 06-12
-
8 《广电AIGC应用案例报告》 06-12
-
9 BTP 智能合同评审 06-12
-
10 来，给你看看，如何用AI做一场AI发布会PPT！ 06-12
