理想主义，创造价值。“我热衷于用AI来做数学。”洪乐潼用极快的语速，描述正在做的事情。“数学怎么赚钱？我们从一开始就面临这个挑战。现在，商业信号已经清晰很多，数学能创造价值，是因为它能自我验证、自我检查。”这位留着黑色长卷发的25岁广州女生，身上叠满buff。这位数学才俊，毕业于麻省理工学院和牛津大学，从斯坦福辍学创业，数周前刚拿下2亿美元融资，估值达16亿美元，约合人民币110亿元。2025年，DeepSeek横空出世，洪乐潼感慨，“一群理想主义者组成的优秀合作伙伴。他们执行力强，亲力亲为。最珍贵的，是那份理想与使命交织的信念。”她说，DeepSeek的故事，也是她“想亲自书写的故事”。Axiom的创始团队，同样小而专注，有一半来自Meta AI研究院。AI时代造神，一切皆有可能。排查代码洪乐潼的办公室位于硅谷的帕洛阿尔托（Palo Alto）大学大道，距离斯坦福大学不远。2025年7月中旬，她和团队才搬进这里。公司取名Axiom（公理），源自数学术语，目标是创造“AI数学家”。一群数学家在捣鼓的业务，看似抽象，简而言之，就是打造能自动验证计算机代码的AI系统，原理类似于数学家证明复杂数学难题。其价值在于，用AI写代码，无法知道代码何时存在漏洞。而Axiom的技术可以杜绝这类错误，借助Lean编程语言，研发出能够从形式上证明答案是否正确的技术。凭借这个想法，2024年8月，洪乐潼就拿下了960万美元种子轮投资，约6600万元人民币。在她的设想中，未来Axiom的产品，可服务于对冲基金和量化交易公司，可快速解决与资产定价、股市预测相关的复杂数学问题。投资机构也看到其潜在价值，是提升AI生成代码质量的有效途径。3月中旬，洪乐潼宣布，从Menlo Ventures, Greycroft and Madrona等风投公司，筹集到2亿美元A轮融资，约合人民币14亿元。“Axiom很小，却很强。我们在探索各种更聪明的技术来降低成本，资本效率很高。”她透露，融资到手后，一部分是算力成本，一部分会花在招聘上。公司使命是“从AI数学家起步，打造自我改进的超级智能推理器”。洪乐潼并非一枝独秀，有人正在做着与她类似的研究，而且比她更早入局。其竞争对手Harmonic，不仅能攻克数学难题，在代码编写和芯片设计领域也展现出潜力。最新估值达14.5亿美元，英
=*=*=*=*=*=
当前为第1/3页
下一页-
=*=*=*=*=*=
返回新闻列表
返回网站首页