2079.1亿人民币估值，年化收入破10亿美元，成立仅三年的AI编程公司Anysphere，以惊人的成长速度被硅谷誉为"史上最快崛起的企业之一"。 而这家新锐公司的CEO Michael Truell竟是一位00后，三年前他还辗转于各大公司实习，如今已跻身亿万富翁之列，成为投资人追捧的新星。 AI时代，"资本偏爱35岁以下的年轻人"，这是创投界最近流行的共识。 红杉、高瓴、蓝驰等头部机构纷纷注资00后创业者，张一鸣、刘强东、王兴等大佬也密集入股00后初创公司，徐小平的真格基金更是推出"00后狠人计 划"，锁定新生代群体。 潮汕天才，轰动硅谷 2025年10月初，硅谷传来一条爆炸性消息：初创公司Axiom Math完成6400万美元（约合人民币4.56亿）首轮融资，投后估值破3亿美元。 但这家公司没有产品、没有客户，创始人还是一位来自中国潮汕的00后女性——年仅24岁的洪乐潼。 硅谷资本为何对洪乐潼慷慨押注？答案藏在她近乎"开挂"般的成长轨迹中。 洪乐潼早年便显露出超凡的数学天赋。她高中就读于广东名校华南师大附中，成为广东省奥数队四名女生之一，在"华罗庚金杯"、全国高中数学联赛等多 项顶级竞赛中屡创佳绩。 20 ...

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只 因他在一次研讨会上看到了AI在数学研究上的无限可能。 刚刚，57岁的数学教授Ken Ono宣布辞去终身教职，跟随自己24岁的学生Carina Hong追逐「数学超级智能」。 Ken Ono是目前全球最杰出的数学家之一，对于在弗吉尼亚大学执教的他来说，硅谷AI初创公司好比另一个世界。 前不久，他还在讲座时调侃AI技术的「神话」，称自己是NI（Naturally Intelligent，天生智能）。 如今，NI和AI要合二为一了。 Ken Ono从弗吉尼亚举家搬到了数千公里之外的硅谷，加入了Carina Hong的AI初创公司Axiom Math。 推动数学超级智能的人 2024年，仍在斯坦福大学攻读博士的Carina Hong，在学校附近的一间咖啡馆中萌生了创办Axiom Math的想法。 24岁的她有着近乎「逆天」的履历。 Carina Hong在中国广州长大，她在很小的时候就发现了自己对数学的热爱，她曾接受过奥数训练，并从激烈的竞争中脱颖而出。 但 ...

推动数学超级智能的人 前不久，他还在讲座时调侃AI技术的「神话」，称自己是NI（Naturally Intelligent，天生智能）。 如今，NI和AI要合二为一了。 Ken Ono从弗吉尼亚举家搬到了数千公里之外的硅谷，加入了Carina Hong的AI初创公司Axiom Math。 Ken Ono与Axiom Math创始人Carina Hong 传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因 他在一次研讨会上看到了AI在数学研究上的无限可能。 刚刚，57岁的数学教授Ken Ono宣布辞去终身教职，跟随自己24岁的学生Carina Hong追逐「数学超级智能」。 Ken Ono是目前全球最杰出的数学家之一，对于在弗吉尼亚大学执教的他来说，硅谷AI初创公司好比另一个世界。 作为家族中第一代大学生，Carina Hong大概在十四五岁的时候，就已经把目标锁定了麻省理工学院（MIT）。 2024年，仍在斯坦福大学攻读博士的Carina Hong，在学校附近的一间咖啡馆中萌生了创办Axiom Ma ...

公司融资与估值 - 公司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]