#25岁天才少女拿下超14亿融资#为什么资本愿意在这个阶段，给一个“AI数学家”投14亿？其实是在解决一个未来AI爆发的问题：没人能保证它是对的。

先简单说一下她这个人。
广州出来的数学天才，高中就是奥赛体系，后来一路MIT、牛津、再到斯坦福双博，最后选择退学创业。

她就是典型的路径：
一路在“做最难的问题”，然后在最核心的节点选择all in。包括她把公司叫“Axiom”（公理），也是这样：她关注的不是应用层，而是底层逻辑。

再回到这家公司在做的事。
现在AI写代码已经不难了，但问题在于：写得对不对，没人能保证。尤其是在金融交易、自动驾驶、核心系统这些场景，一行错误代码的代价是非常高的。而Axiom做的事情就是：让AI在写代码的同时，自己证明这段代码是正确的。就是开始在补“确定性”。

为什么资本会愿意投这么重？
因为一旦这件事成立，意义会非常大：AI就不再只是工具，而是可以进入“不能出错”的系统。这才是从好用，到可信任的分水岭。

你再看她的团队配置，其实也能看出这个方向的难度：从Meta AI出来的研究负责人，再到顶级数学家直接下场做“创始数学家”。这不是一个工程问题，而是一个数学+AI交叉的硬核问题。

当然，这条路也不轻松。算力成本、验证效率、工程化落地，现在都还在早期。但资本在赌的是：一旦跑通，AI的边界会被重写。#25岁天才少女公司估值110亿# http://t.cn/AXIF277i