广东00后女生公司估值达110亿 AI独角兽崛起
AI初创公司Axiom近日宣布完成2亿美元A轮融资，由知名风投Menlo Ventures领投，老股东悉数跟投。成立仅一年多的Axiom估值飙升至16亿美元，跻身“独角兽”俱乐部。这家公司的创始人洪乐潼是一位出生于2001年的广州女生。
Axiom的故事始于2024年深秋的一个周末，在美国加州斯坦福大学附近的一家咖啡馆里。当时还在攻读博士学位的洪乐潼与Meta AI研究总监Shubho Sengupta进行了一次深入交谈。他们讨论了AI能否解决世界上最棘手的数学问题，并在思想碰撞中找到了新的方向。不久后，洪乐潼决定退学创业，她认为当好奇心与真理之间只差一次验证时，压缩这个过程的时间就是最大的商业价值。
Axiom选择了一条硬核且冷僻的赛道——可验证人工智能（Verified AI）。洪乐潼观察到许多大模型在数学测试中的表现并不理想，尤其是在展示严谨证明过程时。Axiom的解决方案是借助一种名为Lean的编程语言，这种语言专为数学证明设计，通过其检验的结果逻辑上绝对正确。Axiom的核心系统在普特南竞赛中取得了满分，进一步验证了这一理念的可行性。
Axiom的团队也是一支梦之队。CTO Shubho Sengupta曾是Meta AI研究总监，核心科学家François Charton是将Transformer模型引入数学领域的先驱。最令人震撼的是57岁的数学权威Ken Ono的加盟。Ono辞去了弗吉尼亚大学的教职，加入洪乐潼的初创公司。他曾在学术界指导过十位摩根奖得主，而洪乐潼正是其中之一。
洪乐潼出生在广州天河区的一个普通家庭，自幼展现出不凡的数学天赋。她在华南师大附中就读期间多次获奖，并考入麻省理工学院攻读数学和物理双学位。疫情期间，她发表了多篇高质量论文，拿下了北美数学本科生的最高荣誉“摩根奖”。随后，她获得牛津大学罗德奖学金，在英国进行了深入研究。2024年，洪乐潼进入斯坦福大学攻读数学博士，但最终选择了创业。
洪乐潼形容自己是一个“单线程”的人，必须将一件事全部做完，再开启下一件。她的自我认知清晰：既能像花一样融入时代的繁茂，又能像树一样在专业领域扎根独行。她希望Axiom能够帮助那些像拉马努金一样的天才完成证明，让他们有更多时间和能量去完成下一个直觉的发现。对于洪乐潼而言，她的“证明题”才刚刚开始。
猜你喜欢
2026年2月9日每日新闻简报
2026年2月9日星期一农历腊月廿二1.五部门联合发布风险提示，警惕“代理维权”短视频及直播陷阱。2.镇江、厦门、泉州等多地宣布春节期间机关单位内部停车场向社会免费开放。3.多家中小银行上调存款利率，有银行3年期50元起存利率超2%。4.王楚钦、孙颖莎分别夺得乒乓球亚...
2026年马年王菲唱的歌曲《你我经历的一刻》歌词
《你我经历的一刻》（原名：百年长河不过是你和我在经历着的一刻）作词：马懿作曲：程锦远演唱：ZaZaZsu（原唱）/王菲（2026央视春晚演唱）我想要个诺言能让心永远不怕再孤单问过所有的未来终于才明白就是现在恒星在东升西落晚风在夏夜的湖泊北极星变换着柔波要穿越...
2026年2月5日每日新闻简报
2026年2月5日星期四农历腊月十八1、气象台：5-7日中东部将迎剧烈降温，南方将现较大范围雨雪；2、2026年中央一号文件发布：部署扎实推进乡村全面振兴，持续整治农村高额彩礼；3、文化和旅游部宣布将于近期恢复上海居民赴金门、马祖旅游国台办：积极支持，乐见其成；4...
2026年2月10日每日新闻简报
2026年2月10日星期二农历腊月廿三小年1、五部门：推动科技赋能戏剧创作传播，规范引导院团和演员线上演播、线上直播等活动；2、31省份披露去年财政收入：粤苏浙规模居前三；3、春运首周，全社会跨区域人员流动量累计超14亿人次；铁路部门在部分非热门线路推出最低2折...
2026年2月18日最全新闻简报
2026年2月18日星期三农历正月初二雨水1.2026央视春晚数据公布：全媒体触达超230亿次，直播总收视份额达79.29%，创13年来新高。2.寒潮影响趋于结束，我国雨雪范围缩减，中东部开启升温模式。3.春节档电影总票房破15亿，《飞驰人生3》《惊蛰无声》《熊出没·年年有熊》.
