Summary
Highlights
Carina回忆了自己被数学吸引的“尤里卡时刻”，并分享了中学时代通过“暴力破解”欧几里得几何题的经历，这让她自称是数学领域的“笨拙玩家”。她认为AI在某些方面也像她这样的“暴力玩家”，通过穷举和分类讨论解决问题，而并非依赖直觉天赋。她首次在麻省理工学院接触到自动定理证明，并认识到AI在数学证明方面的潜力。虽然她自嘲为“笨拙玩家”，大学期间也多次获得数学荣誉，这让她反思，也许发散性思维和广泛的兴趣，才是她数学进步的关键。
Carina谈到她在创业过程中，认识到“受限注意力”和“自由注意力”的重要性。她回忆自己在广州的成长经历，得益于拥有大量“自由注意力”来探索数学和文学。在大学期间，她曾在MIT的严苛环境里挣扎，但与一群志同道合的朋友共同克服困难，让她体会到团队合作的珍贵。她也提出，自己是一个“愿景家”型的创业者，而非“执行者”或“推销者”，并以扎克伯格、马斯克和Sam Altman为例，探讨了不同类型创业者的特质。
Carina在MIT修习数学和物理双学位，并在牛津大学攻读神经科学硕士。她坦言，当初选择神经科学是出于家庭原因。然而，这些跨学科的经历为她提供了独特的视角，让她在法律博士课程中，从不同的角度思考问题。她结合法律中的三种宪法解释方法（原旨主义、文本主义和活的宪法），思考AI在法律和数学领域的应用潜力，为她创办Axiom埋下了伏笔。
Carina回忆了她在法学院期间，思考AI在法律和数学领域应用时的灵光一现。她认为如果AI能帮助解释法律，那为什么不能帮助人们解决数学问题？她与Shubho Sengupta（现任Axiom CTO）在咖啡馆相识，并经过长达一年半的对谈，最终决定共同创办Axiom。她坦言自己曾对创业犹豫不决，甚至想加入已有的公司，但最终被“AI for Math”的使命和技术潜力所吸引。她详细介绍了Axiom的团队成员组成：AI专家、代码生成专家和数学家，他们共同致力于用AI解决数学难题。她也解释了为何Axiom更像是一家“太空探索”公司，而非传统的AI模型公司，强调其在技术实现和验证方面的独特优势。
Carina坦言，融资是创业过程中最让她疲惫的环节。她以自己与投资者B Capital的Howard Morgan的对话为例，生动讲述了融资过程中的反复沟通和意外收获。她还透露了Axiom从种子轮到A轮融资的波折，从最初的无人问津到最终获得多家VC的青睐。她认为，自己年轻、华人女性的身份对融资的影响，并深入探讨了年轻创业者在做决策时的勇气与困惑。她表示，正是B Capital的Howard Morgan的乐观与远见，以及他对复兴科技（Renaissance Technologies）的深刻理解，让她最终选择了这家投资机构。
Carina详细介绍了AxiomProver在普特南大学生数学竞赛中获得满分的突破性进展，以及团队在数学推理和代码验证方面的持续创新。她认为，AI for Math的出现将加速数学发现的指数级增长，并重新定义数学家的角色，使其更多地专注于提出问题和提供直觉。她强调，AI for Math不仅是解决数学问题的工具，更是推动各学科理论发现的引擎。她相信，AI for Math将首先在验证领域实现商业化突破，并最终渗透到AI for Science等更广阔的领域。她也提到，中国AI公司如DeepSeek和字节跳动在AI for Math领域的发展，并对中美两国在AI宇宙中的未来角色充满期待。
Carina分享了自己在MIT遇到顶尖数学家Ken Ono教授的故事，以及他最终加入Axiom的经过。她认为Ken Ono教授不仅是一位杰出的数论学家，更是一位充满人文关怀的导师。她以数学界的泰斗Erdős和Grothendieck为例，阐述了数学家独特的个性和其对数学世界的贡献。她坚信，即使AI能够完成所有数学证明工作，人类的直觉、好奇心和探索精神依然是不可替代的。她也提到，当前AI for Math领域面临的最大挑战是“自动形式化”和“概念生成”，这将是未来研究的重点。Carina最后表示，她所建立的Axiom团队，就如同一个“数学俱乐部”，汇聚着顶尖的AI和数学人才，共同追求“让世界上的数学家可以做更多数学”的愿景。
Carina坦言，自己并非天生的创业者，甚至很抵触创业。她表示，她在创业过程中，始终坚持自己的原则，并通过深入思考和阅读科技史来坚定信念。她认为，创业的过程就像一场“跳崖”，需要企业家们培养出一种“跳跃式信仰”的肌肉记忆。她也表示，自己是一个“学徒”，乐于在数学、物理、神经科学、法律等多个知识领域学习和探索。她认为，Axiom的精神是“MoonShot（登月计划）”，追求极致而非仅仅商业利益，这让她即使面对巨大的商业压力，也能保持初心。她也反思了当前AI领域的竞争与“内卷”，并强调好奇心和创新精神是推动人类进步的核心驱动力。
在节目的最后，小君向Carina提出了一些轻松的快问快答。Carina分享了自己最喜欢的食物是寿司，最喜欢的地方是悉尼。她表示，自己人生中最鲜活的认知和体验，都来自于与Axiom团队成员的交流和共同探索，这让她每天都充满希望。她还推荐了一系列她认为具有里程碑意义的AI for Math论文，并分享了自己对未来AI发展的“大胆预测”。她相信，2026年我们将看到持续学习的小型模型、多模态模型和代理经济学领域的突破。她还推荐了《红楼梦》和《天才物理学家》等书籍，以及黄仁勋和埃隆·马斯克的经历，来启发大家应对创业的挑战。