00后女生创业,估值16 亿美元,用ai 解决数学难题

3月16日那天,广州长大的00后女生洪乐潼,把她的AI公司Axiom给做成了大新闻。这家才刚成立一年多的初创公司,宣布刚拿到了2亿美元的融资,这直接让估值冲到了16亿美元,换成人民币就是110亿元。也就是说,她这个刚满25岁的年轻老板,刚一出手就把公司的身价推到了全球独角兽行列的高门槛上。 不过大家更关心的是站在她身后的灵魂人物。洪乐潼出身在潮汕家庭,爸妈都是普通打工族,她却从小就露出了罕见的数学天赋。高一那年她就被广东的中学生英才计划选中了,还是当年广东区里四位女选手之一。17岁就进了麻省理工的大门,居然只用了三年就修完了数学和物理两个学位,还发了九篇高水平论文。靠着这些亮眼表现,她拿遍了全美女性数学家最高奖和中国罗德学者之类的荣誉。后来她决定从名校退学去创业了,因为她的名字已经在2025年12月的“福布斯30岁以下30人”名单里了。 公开资料说,Axiom是打算用AI来解决那些复杂的数学证明难题。这家公司锁定的客户是对冲基金和量化交易员这些高端人群。他们采用的“数学即服务”模式,就是让AI像数学家一样去构建和验证证明。作为创始人和灵魂人物的洪乐潼,给了公司一个很大的想象空间。毕竟她只用三年时间就搞定了MIT的双学位。