.png)
2026年4月13日，25岁广州天才少女洪乐潼因从斯坦福博士退学创业而引发关注。她创立的AI公司Axiom仅用20人团队、成立不足两年，估值已达110亿元，震惊硅谷。2026年3月中旬，Axiom完成2亿美元A轮融资，跻身独角兽行列。该公司专攻大模型“幻觉”问题，利用形式化验证技术封堵AI胡说八道，并采用异构协作模式提升逻辑严谨性。2025年12月，其核心系统AxiomProver在普特南数学竞赛中取得满分，创历史纪录，同月洪乐潼入选“福布斯30岁以下30人”榜单。洪乐潼出生于普通家庭，17岁考入麻省理工，三年完成数学与物理双学位，曾获多项顶尖学术荣誉，并先后就读牛津和伦敦大学学院，最终选择退学创业。
原文链接
本文链接：https://kx.umi6.com/article/34728.html
转载请注明文章出处
分享至
打开微信扫一扫
内容投诉
生成图片
.png "34728")
相关推荐
.png)
换一换
紫荆智康发布“紫荆AI医院”线上虚拟诊室
2026-04-10 20:27:03
生数科技完成近20 亿元 B 轮融资，以通用世界模型定义下一代数字与物理世界生产力底座
2026-04-10 16:18:48
机构：预计2025~2035年物理AI设备累计出货1.45亿台
2026-04-10 16:23:20
「Claude Code之父」其实是野路子来的……
2026-04-12 22:24:41
浙江：在医疗、康复、健康干预等场景 打造一批脑机接口创新应用
2026-04-10 14:15:58
五部门：拟人化互动服务提供者不得向未成年人提供虚拟亲属、虚拟伴侣等虚拟亲密关系的服务
2026-04-10 18:29:19
四川：“十五五”期间围绕人工智能、先进材料、航空装备、低空智能、光电技术、新型储能、核医疗等领域 布局实施一批重大科技专项
2026-04-13 10:54:12
LeCun点赞：国产开源模型占领硅谷，性价比超10倍
2026-04-10 17:20:55
AI设计蛋白质能识别特定化合物
2026-04-13 07:46:36
千问发布新一代旗舰AI眼镜 全渠道开启预约
2026-04-10 14:13:45
这帮清华的，造了一个让龙虾“安全着陆”的新物种
2026-04-10 16:16:29
北京海淀发布八条OPC举措
2026-04-10 21:29:39
吓破全球的最强AI大模型Mythos被指夸大：数千个漏洞徒有虚表
2026-04-13 13:03:20
812 文章
607760 浏览
24小时热文
更多
-
2026-04-13 13:04:26 -
2026-04-13 13:03:20
-
2026-04-13 13:02:10
