Axiom公司融资与估值 - AI初创公司Axiom完成2亿美元A轮融资，由Menlo Ventures领投，Greylock、Madrona Venture、B Capital、Toyota Ventures等老股东持续加码[2] - 完成本轮融资后，公司估值高达16亿美元（约合人民币110亿元）[2] - 公司成立不到一年即跻身独角兽行列，距离其完成种子轮融资仅过去5个月[7] Axiom创始人背景 - 创始人洪乐潼今年25岁，出生于广州，中学就读于华南师大附中，多次在奥数竞赛中获奖[2] - 其求学轨迹横跨麻省理工学院、牛津大学，直至在斯坦福大学攻读博士学位期间选择退学创业[2][5] - 高中时期是数学奥林匹克省队唯一四名女生之一，多次在华罗庚金杯、全国高中数学联赛等竞赛中取得好名次[9][10] - 2019年考入麻省理工学院攻读数学和物理双学位，后获得牛津大学罗德奖学金（全球仅四名中国获奖者之一）并取得硕士学位[10] - 2024年8月进入斯坦福大学攻读数学博士和法学博士，但很快选择退学创业[5][10] Axiom技术定位与核心优势 - 公司核心信念是数学为构建AI推理能力的正确基础[7] - 致力于发展可验证人工智能，核心优势在于形式化验证：通过Lean编程语言，将数学证明转化为可执行程序，从根本上确保结果的正确性[8] - 旨在解决当前AI行业的尖锐矛盾：大模型能力狂飙但可靠性是黑盒，在金融、国防等关键领域，基于概率的错误可能酿成灾难[8] - 公司核心系统在被誉为“本科生数学奥林匹克”的普特南竞赛中斩获12题全对的满分，过去近百年仅有5人达成此成就[7] - 该系统随后又自主证明了多个开放性数论猜想[7] - 公司正将数学推理能力通过迁移学习引入代码验证领域，试图解决生成式AI的可靠性问题[7] - 创始人认为公司的终极使命是瞄准AI的上限，是通向超级智能的阶梯[9] Axiom核心团队构成 - CTO Shubho Sengupta曾任Meta AI研究总监，参与过Google分布式训练系统研究，也是最早开发CUDA技术的专家之一[11] - 核心科学家François Charton是率先将Transformer模型引入数学领域的先驱，曾用大模型推翻一个长达30年未解的学术猜想[11] - 创始数学家Ken Ono（囊括古根海姆奖、斯隆奖等荣誉的前美国数学学会副会长）辞去弗吉尼亚大学终身教职，全职加入公司[11] - Ken Ono在四十年执教生涯中指导过十位摩根奖得主，洪乐潼是其中之一[12] - 公司目前拥有30多名员工，招聘速度还在不断加快[12] - 投资人评价创始人兼具深厚数学功底、惊人运营效率以及吸引世界一流人才的能力，是其过去二十年硅谷生涯中见过的最令人印象深刻的创始人[12] 00后创始人集体登上AI舞台的行业现象 - 00后创始人正集体登上AI舞台，AI浪潮已成为00后的主场[4][13] - 成立仅一年多的公司灵初智能宣布完成天使轮及Pre-A轮共计20亿元融资，其联合创始人陈源培出生于2001年，曾就读于北京大学、斯坦福大学，师从李飞飞[14] - 优理奇创始人杨丰瑜同样是位00后，博士毕业于耶鲁大学，本科毕业于密歇根大学计算机专业，曾在DeepMind工作，公司上周刚刚完成近3亿元新一轮融资[14] - 四位00后创立的AI编程公司Anysphere，估值冲到约290亿美元[14] - 19岁华裔女孩Serena Ge创办的AI数据公司Datacurve融资上亿[14] - AI初创公司Mercor的三位22岁联合创始人，成为全球最年轻的白手起家富豪[14] - 《2026胡润U40全球白手起家富豪榜》显示，AI领域共诞生27位十亿美金企业家，占榜单总人数的四分之一，平均年龄仅32岁，合计财富近7000亿元人民币[14] - 投资人感慨，短短两三年间涌现的这批年轻AI创业者，在视野、格局和破局韧性上展现出超越年龄的成熟[15] - 有投资人坦言，如果团队里没有00后核心合伙人，可能就不投了[15] - 纪源资本管理合伙人符绩勋认为，每一个时代的创新往往都是年轻人先跑出来，因为年轻人没有包袱，今天的AI就是95后、00后的机会[15]