AI 数学家：25 岁女生的 110 亿独角兽之路

AI 费电讯， 一份报告不同模型解读，用爱发电 · Apr 6, 2026 · 9m

25 岁广州女生洪乐潼，麻省理工、牛津、斯坦福履历加持，从斯坦福辍学创业，一手打造估值110 亿人民币的 AI 独角兽 Axiom。她以 “AI 数学家” 为目标，用形式化验证技术让 AI 代码零漏洞，吸引数学泰斗小野健辞去终身教职加盟，更拿下 2 亿美元 A 轮融资。本期播客，我们拆解这位数学天才的创业逻辑、Axiom 的硬核技术，以及 AI 如何重新定义数学研究与代码安全。听天才如何用数学与 AI，创造下一个超级智能。重要提示1信息来源： 本内容可能引用、整合或基于公开信息以及用户上传的特定文档（如研报）进行分析和总结。尽管我们已尽力确保信息的准确性和时效性，但人工智能模型无法保证其绝对的准确性、完整性或时效性。2观点独立性： 本内容所表达的观点和分析仅为人工智能模型的理解和输出，不代表任何机构或个人的官方立场。它不构成任何形式的投资建议、法律意见或其他专业建议。3用户责任： 用户在阅读和使用本内容时，应自行判断其准确性、完整性和适用性。对于因使用或依赖本内容而造成的任何损失，本平台或人工智能提供方不承担任何责任。4版权归属：…