AI导读：

洪乐潼用AI解决数学问题，从斯坦福退学创业，打造超级智能推理器。Axiom团队小而专注，目标是创造“AI数学家”，可服务于对冲基金和量化交易公司。

　　“我热衷于用AI来做数学。”洪乐潼用极快的语速，描述正在做的事情。“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。” 这位留着黑色长卷发的25岁广州女生，身上叠满buff。 这位数学才俊，毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。 2025年，DeepSeek横空出世，洪乐潼感慨，“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。” 她说，DeepSeek的故事，也是她“想亲自书写的故事”。Axiom的创始团队，同样小而专注，有一半来自Meta AI研究院。 AI时代造神，一切皆有可能。