来源:互联网 更新时间:2026-04-13 12:26
4月13日消息,
2026年3月中旬,她创立的AI公司Axiom完成2亿美元A轮融资,并强势跻身独角兽行列。
Axiom不碰聊天机器人和文生图应用,而是专攻大模型最棘手的“幻觉”问题——
Axiom采用异构协作模式:大模型负责猜想与搜索,Lean编程语言负责最终验算,任何一步逻辑跳跃都会被系统直接拒绝通过。
2025年12月,Axiom核心系统AxiomProver在普特南数学竞赛中完成全部12道试题并取得满分,近百年来仅5位人类选手达成过这一成就。
洪乐潼2001年出生于广州普通务工家庭,17岁考入麻省理工学院,三年修完数学与物理双学位。
本科期间发表9篇论文并斩获北美数学本科生最高荣誉摩根奖,还获得了美国每年仅授予一名女性本科生的Alice T. Schafer数学奖。
2021年她获得罗德奖学金赴牛津攻读神经科学硕士,随后进入伦敦大学学院盖茨比计算神经科学中心投身深度学习研究。
之后她又考入斯坦福攻读数学与法律双博士,最终选择退学创业。

洛克王国世界雪影娃娃捕捉攻略 洛克王国世界雪影娃娃怎么捕捉
《洛克王国 世界》开服必看 抢先入手16只完美精灵 开局就赢在起跑线
洛克王国世界可丽希亚任务完成攻略 洛克王国世界可丽希亚任务怎么完成
于东来回应退休:只是表面退休了 实际还是不退
牛奶价格卷起来了:多家品牌搞促销
儿子去世 名下房产被判全归养母:生母缺席成长 养母照顾长大
洛克王国世界伊利斯怎么打
起猛了 在成都看到关公开公交:三国寻梦线巴士正式推出
能穿地的 “Wi-Fi” 无线网络成功了!可深入地表下100米 有望集成到手机中
最强斗王每周活动安排
张雪峰追悼会将在明日举行 生前曾有三次自救机会 都被他错过了
洛克王国世界精灵王
洛克王国世界可可果商店兑换哪些
守塔不能停官网首页入口
洛克王国世界烈火战神超进化条件是什么
梦境护卫队装备重置与洗练攻略
女子遇起火拿毛巾捂口鼻:退房被收钱
《怪猎》险些被砍 日本业界现状 入行十年一无所获
梦境护卫队怎么快速获得红英雄
“如果情绪有天气,那我困在雨天里”
手机号码测吉凶
本站所有软件,都由网友上传,如有侵犯你的版权,请发邮件haolingcc@hotmail.com 联系删除。 版权所有 Copyright@2012-2013 haoling.cc