她说数学不是人类特权：一场4小时访谈，重新定义AI for Math的边界

在扎克伯格最早的创业屋里，一场长达4小时的对话，把数学、直觉、证明与AI放在同一张手术台上解剖。Carina Hong 的核心观点极其反直觉：数学不只属于天才，也不只属于人类，而AI正在逼我们重新理解“理解”本身。

在 Facebook House 里聊数学，这本身就不正常

访谈的开场就很“硅谷”：地点选在 Facebook House——扎克伯格最早的创业地。一个象征着社交网络、增长神话和工程效率的地方，却用来讨论数学、直觉与证明。张小珺没有铺垫寒暄，而是迅速把话题拉到“人是如何被数学击中的”。Carina Hong 的回答并不浪漫，她反复强调自己在每个阶段都觉得“我是环境里最愚蠢的那一个”。这种自我定位，贯穿了她后面对创业、AI 和数学的所有判断：不是天才视角，而是长期在高密度智力环境中生存下来的视角。

数学是艺术还是科学？她选择了一个更危险的答案

当问题被直接抛出——数学究竟是被发现的，还是被创造的？Carina 没有站队，而是把重点放在“过程”。她形容数学是一种介于艺术与科学之间的存在：一端是高度形式化、可验证的证明，另一端是极其私人化、难以言说的直觉。真正有意思的不是结论，而是从直觉走向证明的那段路径。这也解释了她为何对《Proofs from The Book》这类作品情有独钟：那不是答案集合，而是人类审美在逻辑中的投射。

直觉派、天才派、证明派？她认为这是个伪分类

访谈中最有张力的一段，来自对“你是哪一派”的追问。Carina 的回答很克制：直觉和证明并不是对立，而是互补。所谓“天赋型选手”，往往在直觉上走得极快，但证明派提供的是可迁移、可复用的结构。她甚至指出，这种结构性恰恰是AI最擅长的部分。于是，一个危险但迷人的类比出现了：人类数学家的思维路径，与AI生成证明的过程，在某些层面上高度相似。

当AI开始做数学，人类失去的不是尊严，而是特权

“数学不是人类的特权，对吗？”这是访谈中最具争议的问题之一。Carina 并没有回避。她认为，数学这门古老学科，正在成为人类智能与人工智能的交集点。AI 给出的证明也许不优雅、不符合人类直觉，但它们依然是证明。这迫使我们重新思考：我们究竟是在捍卫数学，还是在捍卫一种熟悉的理解方式？在她看来，人类无法被压制住的，恰恰是不断重新定义意义的能力。

创业不是零和博弈，但R&D一定是长期战

从数学转向创业，话题突然变得冷酷现实。Carina 提到与 B Capital 的 Howard Morgan 的对话，以及她对“竞争”的复杂态度：不迷恋零和博弈，更偏好小团队、长周期的研发。她直言，AI for Math 的 R&D cycle 注定很长，甚至更像 SpaceX 而不是典型的互联网公司——需要耐心、失败容忍度，以及对“还没最终 offer”的坦然。这不是效率故事，而是耐力故事。

AI for Math 的第一个难点，其实不是模型

当话题落到 AI for Math 的具体挑战时，她点出了一个容易被忽视的事实：难点不完全在模型，而在数学本身的结构差异。竞赛数学、研究数学、形式化数学之间，并不存在一条顺滑的迁移路径。Math 是公司的 DNA，这句话听起来很抽象，但在这里意味着：你必须尊重数学内部的复杂性，而不是指望一个统一的 scaling law 解决一切。

总结

这场4小时的访谈，真正打动人的不是结论，而是一种姿态：在AI快速扩张的时代，依然愿意花时间讨论直觉、证明和失败。对AI从业者来说，最大的 takeaway 也许是：当AI开始进入“高智力密度”的领域，你的优势不在算力，而在判断什么值得被形式化、什么值得被坚持为人类经验。一个值得思考的问题是：如果AI能给出证明，但无法解释为什么美，我们还会如何教数学？

关键词： AI for Math， 数学直觉， 形式化证明， 人工智能与人类智能， 科技创业

事实核查备注： 需要核查：1）访谈地点是否确为 Facebook House；2）受访者姓名 Carina Hong 的中文译名；3）B Capital 与 Howard Morgan 的具体对话细节；4）视频发布时间 2026-04-20；5）频道名称 Zhang Xiaojun Podcast。