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

25 岁广州女生洪乐潼，麻省理工、牛津、斯坦福履历加持，从斯坦福辍学创业，一手打造估值110 亿人民币的 AI 独角兽 Axiom。她以 “AI 数学家” 为目标，用形式化验证技术让 AI 代码零漏洞，吸引数学泰斗小野健辞去终身教职加盟，更拿下 2 亿美元 A 轮融资。本期播客，我们拆解这位数学天才的创业逻辑、Axiom 的硬核技术，以及 AI 如何重新定义数学研究与代码安全。听天才如何用数学与 AI，创造下一个超级智能。重要提示1信息来源： 本内容可能引用、整合或基于公开信息以及用户上传的特定文档（如研报）进行分析和总结。尽管我们已尽力确保信息的准确性和时效性，但人工智能模型无法保证其绝对的准确性、完整性或时效性。2观点独立性： 本内容所表达的观点和分析仅为人工智能模型的理解和输出，不代表任何机构或个人的官方立场。它不构成任何形式的投资建议、法律意见或其他专业建议。3用户责任： 用户在阅读和使用本内容时，应自行判断其准确性、完整性和适用性。对于因使用或依赖本内容而造成的任何损失，本平台或人工智能提供方不承担任何责任。4版权归属： 原材料的版权归原作者或合法权利人所有。本人工智能生成的内容，在不侵犯原作者合法权益的前提下，其版权归生成者所有（如无特别约定）。如本内容中包含任何第三方受版权保护的材料，且其使用方式超出合理使用范畴，请权利人及时联系我们（[email protected]），我们将尽快进行处理。5技术局限： 人工智能技术仍在不断发展中，可能存在理解偏差、信息滞后或生成内容不符合预期的情形。6免责条款： 在法律允许的最大范围内，本平台及人工智能提供方对因使用或无法使用本内容而导致的任何直接、间接、偶然、特殊、惩罚性或后果性损害，概不负责，即使已被告知此类损害的可能性。在使用本内容前，请务必仔细阅读并理解本声明。