详情

记者丨江一苇 殷千益

剪辑丨谭璐

“我热衷于用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亿好意思元，英伟达、红杉成本、瑞比特成本等都是股东。

洪乐潼并不惦念。

“咱们主要竞争敌手Harmonic花了两年多，才完毕第一个焦炙数学里程碑，咱们快许多。”她败露，还是有不少意向客户找上门。

师徒联手

洪乐潼的创业，始于一次咖啡馆中的闲聊。

2024年深秋，洪乐潼在斯坦福大学隔邻的咖啡馆，碰见了时任Meta AI有计划总监的Shubho Sengupta。

几小时交谈后，两东谈主决定沿途用AI，贬责世界上最辣手的数常识题。

不久，洪乐潼退学创业，Shubho则成为Axiom第一位成员，现任CTO。

洪乐潼拉来的首位重磅业界大佬，是57岁的数学威信小野健（Ken Ono）。

他是模样貌界限的顶尖学者、好意思国数学学会前副会长，拿过古根海姆奖、斯隆奖等荣誉，指点过十位摩根奖得主。

他的身影也不单出现时课堂，也曾为好意思国奥运游水队提供数据分析，为电影《知无涯者》担任照管人，以至出演啤酒告白，为了讲解“64卡路里小于80卡路里”。

这位弗吉尼亚大学毕生教师与洪乐潼结缘于麻省理工。彼时，大一更生洪乐潼，参与了小野健的数论形状。

师生干系接续于今，扮装却已不同。

2025年底，小野健作念出一个滚动学术界的决定：辞去教职，带着全家搬到硅谷，加入一家唯有15东谈主的初创公司，工牌编号015。

其职位是创举数学家，公论称这是“数学国度队级别的倒贴”。

小野健暗示，促使他加入Axiom的动机是敬爱心和学术探索，而非经济利益。

“我并非为了财富而来。”小野解释谈，我方曾阻隔过多家大型东谈主工智能公司的高薪酬邀约。

他取舍帮我方的学生打工，不仅因为洪乐潼开出“不设素养、不设行政、100%科研”的合约。更重要的是，AI对他的“降维打击”，让他感到精炼。

“要是我的猜念念能被机器在3天内推论到10个维度，我忻悦当一个‘标注工’”。

洪乐潼的命令力不啻于此。

短期间内，她组建了由17名顶尖有计划东谈主员构成的团队，中枢科学家François Charton，是领先将Transformer模子引入数学界限的前驱之一。

“许多东谈主来这里，是为了专注作念期间，而不是应酬一般的公司文化或东谈主际问题。”

洪在领受采访时提到，有计划者意志到，科学发现的期间线正被AI大幅压缩，这种“硬核科技”的快速激动，比大厂的踏实更有迷惑力。

洪乐潼战胜，当问题弥漫难的时候，东谈主才密度会急剧飞腾。

现时，Axiom领有20多名职工，洪乐潼忙着招兵买马。她在国外外交平台上泛泛发布招聘信息，寻找有志于“用AI作念数学”的同路东谈主。

数学真好意思

洪乐潼的开挂东谈主生，其实是一个对于禀赋与忙绿的故事。

2001年，她出身于广州市河汉区，曾就读于华南师大附中，数学禀赋很早就显清楚来。

高一，她就在天下数学奥林匹克聘请中晋级，并在华罗庚杯、天下高中数学联赛中屡获佳绩。

恰是在奥数集训中，她对有计划型数学产生了风趣。

“奥赛就像抓续开释多巴胺的快感，”她自后回忆谈，而有计划型数学像在撞墙，充满灾荒与煎熬——我其实十分可爱这种挑战感。

2018年，17岁的洪乐潼考入麻省理工学院，攻读数学和物理双学位。

期间，她发表了9篇学术论文，并在2020年摘得北好意思数学本科生最高荣誉——摩根奖，以及爱丽丝·谢弗数学奖。

2021年底，她获取罗德奖学金，前去牛津大学攻读神经科学硕士。之后又参预斯坦福大学，攻读数学与法学双博士学位。

2024年某天晨跑时，她念念起芯片巨头AMD首席推论官苏丽莎的忠告：要逆水行舟。

于是，她下定决心，从斯坦福大学退学创业。

“咱们在贫苦堆里，日中必昃地阅历着三种田地：苦肯求索、无私拼搏，再到醍醐灌顶。尔后，从心底说一声‘数学真好意思’。”洪乐潼写谈。

微信统筹丨曾静娇 剪辑丨金珊万博manbext体育官网app娱乐