广州数学天才青娥25岁拿下超14亿融资，公司估值110亿
“我热衷于用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，kaiyun体育app下载官网 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首席施行官苏丽莎的忠告：要逆水行舟。
于是，她下定决心，从斯坦福大学退学创业。
“咱们在艰巨堆里，日中必昃地履历着三种田地：苦央求索、无私拼搏，再到大彻大悟。尔后，从心底说一声‘数学真好意思’。”洪乐潼写说念。
图片开端：收罗
SFC
出品丨21财经客户端 21世纪营业批驳
记者丨江一苇 殷千益
开元棋牌官方网站入口