25岁广州女生，带出110亿独角兽

来源：网络 作者：声远热闻

阅读：1646

发布时间：2026-04-07 15:08:46

评论：0

[摘要] “我热衷于用AI来做数学。”洪乐潼用极快的语速，描述正在做的事情。“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”这位留着黑色长卷发的25岁广州女生，身上叠满buff。这位数学才俊，毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。2025年，DeepSeek横空

“我热衷于用AI来做数学。”洪乐潼用极快的语速，描述正在做的事情。

“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”

这位留着黑色长卷发的25岁广州女生，身上叠满buff。

这位数学才俊，毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。

2025年，DeepSeek横空出世，洪乐潼感慨，“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。”

她说，DeepSeek的故事，也是她“想亲自书写的故事”。Axiom的创始团队，同样小而专注，有一半来自Meta AI研究院。

AI时代造神，一切皆有可能。

排查代码

洪乐潼的办公室位于硅谷的帕洛阿尔托（Palo Alto）大学大道，距离斯坦福大学不远。2025年7月中旬，她和团队才搬进这里。

公司取名Axiom（公理），源自数学术语，目标是创造“AI数学家”。

一群数学家在捣鼓的业务，看似抽象，简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。

其价值在于，用AI写代码，无法知道代码何时存在漏洞。