初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性 的"AI 数学家"。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推 理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 Putnam 数学竞赛中的优异表现，Axiom 证明了 AI 可以从简单的答案生成转向严密的形式化 证明。这种对可信度的追求，旨在将 AI 从不稳定的辅助工具提升为能在科研与工业领域真 正落地、可被验收的可靠合作者。 2025 年，几乎每一场 AI 发布会都在说"我们能做什么"。 但企业真正卡住的，是另一个问题：AI 做出来的结果，怎么证明是对的？ 很多 AI 产品上线前 demo 演示得很好，一上线就出问题： 错误定位不了， 责任追不清楚， 结果复现不了。 最后只能说：没法验收。 Axiom Math，一家总部在旧金山的 AI 初创公司，换了个思路：不是追求 AI 能做什么，而是证明它做 对了什么。 这家刚在 2025 ...

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 ...

Core Insights - Axiom Math, founded by 24-year-old Carina Hong, has successfully completed its first round of financing, raising approximately 460 million RMB (around 64 million USD), with a post-money valuation of 2 billion RMB (approximately 300 million USD) [1][3][4]. Company Overview - Axiom Math was established in March 2025 and focuses on developing an AI system capable of solving complex mathematical problems, targeting clients such as hedge funds and quantitative trading firms [4][5]. - The company aims to provide "mathematics as a service," addressing the financial market's demand for efficient and intelligent solutions [5]. Team Composition - Axiom Math operates with a small team of only 10 full-time employees, all of whom are highly qualified professionals from top-tier institutions, including former Meta researchers [5][7]. - Key team members include Shubho Sengupta, the CTO, who previously led the Meta FAIR team, and François Charton, a researcher with experience in large language models [5]. Founder Background - Carina Hong, the founder, has an impressive academic background, having completed dual degrees in mathematics and physics at MIT and later pursuing a master's degree in neuroscience at Oxford [10][14]. - Hong's journey into AI began after a chance meeting with a former Meta AI researcher, leading her to drop out of Stanford to establish Axiom Math [16][18]. Future Aspirations - The company envisions creating a self-improving superintelligent reasoning system, with the potential for the AI to propose new mathematical conjectures [18][19].