近期，全球创投市场迎来重磅融资事件——人工智能初创企业Axiom（axiommath.ai）宣布成功完成2亿美元（约合人民币14亿元）A轮融资。本轮融资由知名风险投资机构Menlo Ventures领投，公司原有股东均参与跟投。
作为一家成立仅一年有余的AI企业，Axiom在此轮融资后估值达到16亿美元（约合人民币110亿元），正式跻身全球独角兽企业行列。
相较于融资规模与估值，市场更为关注的是其创始人洪乐潼（Carina Hong）。这位2001年出生于广州的00后创业者，凭借旗下项目迅速成为资本市场焦点。
▲洪乐潼 图片来源：麻省理工学院
“00后”广州学霸创业成AI圈焦点
据报道，祖籍潮汕的洪乐潼出生在广州，父母是从未上过大学的普通务工者。
有着超强数学天赋的她，早在高一就入选了广东省中学生英才计划，师从中山大学教授王学钦。此后，她在全国中学生数学（CMO）广东选拔中脱颖而出，成为仅有的四位女生之一。
随后，她开始将视野投向更高层次的数学研究。
2018年，年仅17岁的洪乐潼如愿被麻省理工学院（MIT）录取，选择了数学与物理双专业。
她在麻省理工学院只用3年时间就修完了两个学位，并在国际一流期刊发表了涉及模椭圆曲线与K3曲面上的L函数、“月光猜想”的9篇学术论文。研究方向涵盖数论、组合学等基础数学领域，为其当前AI创业埋下伏笔。
麻省理工导师评价：“当多数人还在关注应用层时，她已瞄准数学证明自动化这一基础难题。”
公司用AI解决复杂数学证明的难题
当下，AI行业面临着一个极其尖锐的矛盾：大模型的能力狂飙，但可靠性却始终是个黑盒。日常应用中的“胡说八道”或许无伤大雅；但在金融、国防或关键基础设施领域，任何基于概率的错误都可能酿成灾难。
例如，针对ChatGPT o3“数学测试作弊”争议，此前作为斯坦福大学数学博士的洪乐潼就率先指出症结——当前AI缺乏严格的逻辑推理训练体系。
而她创立Axiom则采用“数学即服务”模式，通过学习严格逻辑推理过程，使AI像数学家一样构建和验证证明。
资料显示，作为初创公司的Axiom将锁定对冲基金、量化交易员等高端客户，宣称要用AI解决复杂数学证明的难题，为金融公司提供高效的量化解决方案。
来源 | 红星资本局 中国科学报 重庆晨报
编辑 | 林荣畅
审读 | 郭建华
二审 | 蔡志军
三审 | 王 博
深圳晚报×深圳招商蛇口国际邮轮母港有限公司
给晚粉送 邮轮船票 啦~
为粉丝带来不一样的出游体验～
一等奖：港珠澳大桥海上游平日票
二等奖：海上看深圳·WAN夜宴平日票
三等奖：深圳蛇口-横琴（长隆）平日票
四等奖：深圳蛇口-香港上环船票
1、进入深圳晚报微信公众号
2、点击“私信”进入对话框
3、在对话框中输入关键词“船票”，获取链接参与抽奖
开奖时间：2026年3月31日12:00
兑奖方式：兑换信息将由工作人员以短信方式通知，请注意查收
使用期限：兑换日期起至2026年12月31日（周末节假日不适用）
注意事项：
1、进入抽奖小程序会有一个5秒的开屏广告，请勿点击！请勿点击！请勿点击！（重要的事情说三遍）；
2、本奖品为赠品，严禁转卖交易；
3、请中奖粉丝在规定时间内填写领奖信息，留意手机短信，如发现填写信息未兑票，或将进入深晚福利黑名单；
4、使用须知以兑换券使用规则为准；
5、本活动最终解释权归深圳晚报所有。
汇盈证券提示：文章来自网络，不代表本站观点。
- 上一篇：证券配资公司 武汉大学造出等离子发动机! 太空30天到火星，地球却因能耗飞不起
- 下一篇：没有了
相关文章
热点资讯
