公司概况与融资 - 初创公司Axiom Math由24岁的Carina Hong创立，致力于开发能够自主验证逻辑正确性的“AI数学家” [1] - 公司在2025年10月完成6400万美元种子轮融资，由B Capital领投，估值达3亿美元 [4][7] 核心技术与方法 - 与主流大模型不同，其系统通过Lean编程语言确保推理过程的每一步都可追溯、可检查，解决了AI产出结果难以验收的信任难题 [1][21] - 公司方法的核心是让AI不仅能生成答案，还能自己验证对错，追求结果的可信度而非仅仅是能力 [4][18][24] - 2025年12月，其系统AxiomProver在美国Putnam数学竞赛中自主解决了9道题（共12道），并在Lean语言中给出了全部通过验证的形式化证明 [23] 团队构成与人才吸引力 - 核心团队汇聚了来自Meta FAIR和Google Brain的前核心研究员等顶尖技术人才 [1][4] - 创始人Carina Hong在MIT的导师、57岁的知名数学家Ken Ono辞去弗吉尼亚大学终身教职，全职加入公司担任创始数学家 [4][29] - 团队规模目前为17人，成员被“用AI做出可验证的数学成果”的愿景所吸引，而非追求产品热潮 [27][30][31] 产品愿景与行业意义 - 公司目标不是制造聊天机器人或代码助手，而是打造一个能验证定理、提出新猜想的AI系统 [14] - 旨在将AI从不稳定的辅助工具提升为能在科研与工业领域真正落地、可被验收的可靠合作者 [1] - 公司押注于AI的“下一个及格线”，即从追求能力转向建立可信度 [8][41] - 其标准一旦成立，将推动AI在容错率低的场景（如芯片设计、科学研究、金融系统）中成为可信任的合作者 [24][40][42] 研发进展与能力展示 - 在研究Collatz猜想时，其Transformer模型对万亿级数字序列的预测准确率达到99.8%，且错误能被清楚解释 [33] - 公司规划AI探索数学的三个阶段：用形式语言表达定理、验证旧问题的新解法、提出新猜想并给出数学依据 [35][36][37] - 相信AI可以将数学研究的进展周期从十年缩短到几个月 [39]

行业趋势：资本青睐00后创业者 - 创投界流行共识为资本偏爱35岁以下年轻人，头部机构如红杉、高瓴、蓝驰等纷纷注资00后创业者，商业领袖如张一鸣、刘强东、王兴等也密集入股00后初创公司，真格基金推出“00后狠人计划”锁定新生代群体[3] - 胡润U25榜单显示，2024年中国25岁以下创业先锋中，前沿科技领域占比高达80%，且多数拥有顶尖高校或实验室研发经历[38] - 00后精英创业者热衷于源头创新，聚焦于AI、具身智能、生物科技等代表未来的前沿产业，他们拥有全球视野，从起点就瞄准全球趋势[38] 公司案例：Anysphere - 公司是一家成立仅三年的AI编程公司，以惊人的成长速度被硅谷誉为“史上最快崛起的企业之一”[1] - 公司估值达到2079.1亿人民币，年化收入突破10亿美元[1] - 公司CEO Michael Truell是一位00后，三年前还在各大公司实习，如今已跻身亿万富翁之列，成为投资人追捧的新星[2] 公司案例：Axiom Math - 公司于2025年10月初完成6400万美元（约合人民币4.56亿）首轮融资，投后估值突破3亿美元，但当时没有产品、没有客户[4][5] - 创始人洪乐潼是一位来自中国潮汕的00后女性，年仅24岁，拥有超凡的数学天赋和卓越的学术背景[5][7] - 创始人高中就读于华南师大附中，是广东省奥数队成员，在多项顶级竞赛中屡创佳绩，后进入麻省理工学院攻读数学与物理双学位，仅用三年完成课程并额外修读20门硕博级别高阶课程[7][8] - 本科阶段已在数论、组合数学等专业领域发表多篇高质量论文，并获得摩根奖、Schafer数学卓越奖、牛津大学罗德奖学金等多项顶级荣誉[9] - 公司创立源于创始人旨在攻克AI解决数学难题的核心问题，她指出OpenAI大模型在数学测试中回答准确率高达96%，但展示推理过程后得分率降至5%，目标是打造一个能够自主推理甚至提出数学猜想的“AI数学家”[11] - 公司旨在构建的AI数学模型，目标是为科学研究、芯片设计、金融建模等领域实现底层突破[14] - 公司吸引了多位顶尖人才加盟，包括曾领导Meta FAIR团队的Shubho Sengupta、法国数学家François Charton、AI开发者Hugh Leather等[14] 行业背景：数学与基础研究的重要性 - 华为案例表明，基础研究的创新是攀登科技之树顶端的关键，解决复杂数学问题往往是人类创新的密钥[12][13] - 任正非曾感慨“光靠砸钱没用，还要‘砸’数学家、物理学家”[13] 行业趋势：具身智能与机器人 - 具身智能与机器人行业是00后创业者扎堆布局的赛道[16] - 据国务院发展研究中心《中国发展报告2025》预测，中国具身智能产业规模将在2030年达到4000亿元，2035年突破万亿[28] 公司案例：灵初智能 - 公司创始人陈源培年仅24岁，入选《福布斯》2025亚洲30岁以下青年领袖榜单，是最年轻的AI创业者[20] - 创始人在华南理工大学就读期间因痴迷灵巧手研究而频繁翘课，后进入北京大学人工智能研究院师从杨耀东教授，实现了全球首次在真实环境中运用强化学习同时控制双臂与双手完成多技能操作[21][23] - 创始人曾以访问学者身份加入斯坦福大学李飞飞团队，后拒绝华为“天才少年”offer和斯坦福深造邀请选择创业[24] - 公司由创始人联合拥有20多年硬件经验的王启斌以及机器人与无人驾驶专家柴晓杰博士创办，被誉为“科学家密度最高的创业公司”[24] - 公司瞄准机器人硬件设计尤其是灵巧手的复杂工程难题，推出了首款21自由度灵巧手，能够稳定抓取盛满水的纸杯且滴水不漏[26] - 公司与英伟达宣布在仿真训练层面开展深度合作，并与美团共同研发末端配送机器人“小黄蜂”[27] - 公司于2025年年初完成由高瓴资本、蓝驰创投领投的天使轮融资，估值破亿[28] 公司案例：零次元机器人 - 公司由25岁的清华AI硕士闵宇恒创办，成立仅半年即获得1亿元融资及数千万元订单[29] - 公司团队研发人员80%来自中国TOP2高校[29] 公司案例：优理奇 - 公司创始人杨丰瑜博士25岁，从耶鲁休学回国后专注于保姆机器人研发[29] - 公司已完成数亿元天使轮融资，签约数千万元订单，首席科学家为上海交大王贺升教授[29] 公司案例：共绩科技 - 公司创始人付智出生于贵州乡村，2018年考入清华大学，后成为“2024清华年度人物”以及“2025北京青年榜样”[30] - 公司创立灵感源于创始人2022年冬天为解决临时算力不足开发的简易共享算力平台，该平台发布后日注册量达7000-8000人，并有5名付费客户[32] - 公司旨在搭建稳定、低价、弹性的算力共享平台，做“算力界的滴滴”，以满足中小企业与个人开发者的弹性AI算力需求[33] - 中国市场拥有5.7亿台个人电脑，其中67%的算力处于日常闲置状态，存在巨大的共享潜力[32] - 创始团队包括清华机械与计算机双料博士许钟子珩和清华叉院博士黄力昂等顶尖人才[34] - 团队在海淀民房进行“车库式创业”，两年完成80多个版本的产品迭代，实现了99.9%稳定率，且90%设备可一键接入[35] - 公司在2023年夏天濒临解散时，获得百度前总裁陆奇的30万美元种子投资[36] - 目前公司接入设备达数十万台，这些设备一起运行的算力相当于两个长三角智算中心的算力之和，2025年上半年公司实现营收2000万元[36] - 据工信部预测，2030年我国算力市场规模将超万亿元，其中弹性算力占比超千亿元[37]

公司核心动态 - 传奇数学家Ken Ono辞去弗吉尼亚大学终身教职，加入其前学生Carina Hong创办的AI初创公司Axiom Math，担任创始数学家[1][2][7] - 促使Ken Ono做出职业转变的关键原因，是他在一次研讨会上亲眼目睹了AI在数学研究上的巨大潜力，并认为AI展示了“另一种做数学的方式”[1][47][54] - Axiom Math由24岁的斯坦福博士生Carina Hong在2024年创办，公司致力于打造能够推理、发现新问题并进行形式化证明的“AI数学家”，而不仅仅是给出答案[8][25] - 公司成立后短短几个月便完成了6400万美元的种子轮融资，估值达到3亿美元[24] - 公司团队吸引了众多顶尖人才，包括来自Meta FAIR实验室的前AI科学家，以及因解决百年数学难题而闻名的研究员，Ken Ono是公司的第15号员工[24][71][72][74] 创始人背景与愿景 - 创始人Carina Hong拥有卓越背景：她在中国广州长大，接受奥数训练，3年内从麻省理工学院毕业，获得摩根奖和罗德奖学金，后赴牛津攻读神经科学硕士，又在斯坦福攻读法律与数学博士[9][10][15][16][18] - 她放弃了量化交易员的机会，选择学术与研究道路，并受到AMD CEO苏姿丰“奔向最难的问题”建议的影响[16][21] - Carina Hong认为数学是打造超级智能的完美试验场，公司目标是攻克困扰人类数百年的数学难题，甚至提出全新的数学猜想[26] - 投资方B Capital称Carina Hong为“推动数学超级智能的人”[27] 行业趋势与竞争环境 - 尽管存在对AI泡沫的担忧，但数学家群体越来越看好AI带来数学突破的潜力[28] - 行业近期动态包括：Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛中夺金，引发了数学圈的广泛关注[64] - 由Robinhood CEO Vlad Tenev联合创办的Harmonic公司也引发关注，其表示“数学超级智能正在一点点逼近”[69][70] - 行业内的公司正通过组建由杰出AI与数学专家组成的团队来确立竞争优势[71] 关键人物Ken Ono的背景 - Ken Ono是全球最杰出的数学家之一，以对拉马努金理论的深入研究而闻名，并培养过10位摩根奖得主（包括Carina Hong）[4][33] - 他不仅从事理论研究，还积极将数学应用于体育分析（如为奥运游泳选手提供咨询）和科学传播（如出演啤酒广告、担任电影制片人）[34][35][36][37] - 他此前对AI在数学中的角色持观察态度，认为AI在需要直觉与抽象思维的创造力方面仍显笨拙，但一次测试AI模型的研讨会彻底改变了他的看法，他感到AI正在迅速赶上甚至超越人类专家[44][48][50] - 除了被AI潜力吸引，促使他离开学术界的因素还包括对高等教育研究经费的担忧，以及花费在处理大学行政事务上的时间过多[58][60]

公司Axiom Math - 公司由24岁的Carina Hong于2024年创办，她在斯坦福大学附近的咖啡馆萌生想法，并于去年夏天种子轮融资落地后退学创业[5][16] - 公司已完成6400万美元的种子轮融资，估值达到3亿美元[17] - 公司名称“Axiom”意为“公理”，即数学中可构筑整套理论的基本真理[17] - 公司目标是打造一款“AI数学家”，这是一个能够推理已有问题、发现新问题，并用形式化证明验证自己工作的AI系统，而不仅仅是给出答案[17] - 公司希望未来能够攻克一些困扰人类数百年的难题，甚至能够提出全新的数学猜想[17] - 公司创始人Carina Hong被投资方B Capital称作“推动数学超级智能的人”[17] - 公司迅速组建了一支由杰出的人工智能与数学专家组成的团队，其中许多人来自Meta的FAIR实验室[31] - 公司核心成员包括因解决百年数学难题而闻名的Francois Charton，以及代码生成领域深度学习的早期先驱之一Hugh Leather[31] - 公司吸引了前Meta的AI科学家Shubho Sengupta担任CTO[12][17] - 公司吸引了传奇数学家Ken Ono辞去弗吉尼亚大学终身教职，举家搬迁数千公里至硅谷，成为公司第15名员工，担任创始数学家[3][27][31] - Ken Ono在公司的主要任务是把AI模型推到极限，设计只有真正理解数学原理才能解决的代表性问题，并制定评估系统表现的基准[31] 行业与AI数学研究 - AI在数学研究上展现出无限可能，促使顶尖学者投身相关创业[1] - 2024年，Google DeepMind和OpenAI的模型在国际数学奥林匹克竞赛夺金，令全球数学圈沸腾[28] - 由Robinhood CEO Vlad Tenev联合创办的Harmonic也引发关注，Tenev表示数学超级智能正在一点点逼近[31] - 尽管AI泡沫令人担忧，但数学家们却越来越看好AI可以带来数学突破的潜力[18] - AI在认知任务、解决已知问题上表现惊人，但一旦涉及需要直觉与抽象思维的创造力部分，比如在纯数学领域仍显得笨拙[25] - 有观点认为，AI展示了另一种做数学的方式，可以成为人类数学家的新搭档[27] - 数学被认为是打造超级智能的完美试验场[17] 关键人物：Carina Hong - 24岁，在中国广州长大，从小热爱数学并接受奥数训练[5] - 作为家族中第一代大学生，约十四五岁时目标锁定麻省理工学院（MIT）[7] - 3年内从MIT毕业，拿下美国本科数学研究最高奖Frank and Brennie Morgan Prize（摩根奖）和Rhodes Scholarship（罗德奖学金）[9] - 获得罗德奖学金后，放弃对冲基金量化交易员机会，前往牛津大学攻读神经科学硕士学位，期间做过深度学习相关研究[10] - 随后进入斯坦福大学攻读法律博士和数学博士[11] - 她是Ken Ono在2020年本科研究项目的学生，也是Ken Ono培养过的10位Morgan Prize得主之一[22][28] 关键人物：Ken Ono - 57岁，全球最杰出的数学家之一，原弗吉尼亚大学终身教授[1][3] - 以对印度数学奇才拉马努金理论的深入研究而闻名，并带领美国顶尖的本科研究项目，培养过10位Morgan Prize得主[22] - 积极将数学应用于体育与科学传播，曾为UVA游泳队和美国奥运金牌选手提供咨询，并参与制作数学家拉马努金的传记电影《知无涯者》[22] - 去年春天参加一次测试AI模型的研讨会，作为30位数学家之一提出研究级难题考验AI，深受冲击，认为AI展示了另一种做数学的方式[25][27] - 决定离开学术界的部分原因包括担心研究经费岌岌可危，以及花在处理政治相关事务上的时间越来越多，做数学的时间却越来越少[27]

公司融资与估值 - 公司Axiom Math于国庆假期完成首轮约4.6亿人民币（6400万美元）融资 [1][3] - 融资后公司投后估值达到20亿人民币（3亿美元） [1][3] - 领投方为B Capital，参与机构包括Greycroft、Madrona和Menlo Ventures [3] 公司背景与团队 - 公司成立于2025年3月，定位为“数学AI”创业公司，旨在打造解决实际数学问题的人工智能系统 [4] - 公司全职人员仅10名，但团队成员均为行业顶尖人才，多数核心员工来自Meta [5][7] - 团队核心成员包括前Meta FAIR团队负责人Shubho Sengupta担任CTO，以及曾在Meta负责大语言模型数学研究的François Charton等 [5] 创始人背景 - 公司创始人洪乐潼为00后潮汕人，拥有麻省理工本科、牛津硕士、斯坦福博士（退学）的教育背景 [1][9][10][12] - 创始人自幼展现数学天赋，是广东奥数省队成员，曾获摩根奖、罗德奖学金等多项顶级荣誉 [12] - 公司创立源于2024年秋创始人与前Meta研究员Shubho Sengupta在咖啡馆的交流，两人决定共同创业 [14][16] 技术与商业模式 - 公司核心技术是打造能像数学家一样构建和验证形式化证明的AI系统，保证结果的准确性和严谨性 [4] - 商业模式为“数学即服务”，主要客户为对冲基金、量化交易机构，为其提供复杂数学问题的快速解决方案 [4][5] - 公司技术理念是将教科书、论文中的英文数学内容转化为程序化知识，最终目标是打造能自我改进的超级智能推理系统，甚至提出新数学猜想 [18][19] 市场关注与发展阶段 - 公司在尚未推出任何产品（0产品，0用户）的情况下便获得巨额融资，并在硅谷和国内创投圈引发广泛关注 [7] - 此次融资的完成标志着这家成立不足一年的公司正式跻身“资本竞速”赛道 [7]