最近反复琢磨一句话AI 正在让“想法”变得廉价而真正的瓶颈从未改变。这是数学家陶哲轩在公开讨论 AI 对数学研究影响时给出的判断。我盯着这句话看了很久因为它精准地戳中了我们这个时代最隐蔽的焦虑——我们从来不缺想法缺的是把想法变成真正结果的能力。如果你平时也用 AI 辅助研究、写作、做设计或者只是负责某个需要持续创新的方向这篇文章想跟你认真聊聊“廉价的想法”背后那些被低估的硬功夫。我会结合数学研究里真实发生的验证、筛选、判断过程拆解 AI 时代个人和团队真正该把力气花在哪。1. “想法通胀”时代真正的改变是什么1.1 生成能力的爆炸只是表面现象过去在数学研究里提出一个有价值的猜想往往需要研究者对某个方向有极其深入的了解。你可能对着几页计算看了一下午才隐约觉得某种形式的推广可能成立。这个过程非常耗心力而且大部分时候会落空。现在情况完全不一样了大模型可以在几分钟之内给你十几个看起来有模有样的候选方向、类比、极值情形和证明思路。我做过一个很朴素的测试。把某个组合不等式变体的问题丢给当前主流的大模型让它列出可能的推广方向。它一口气给了八条其中两条居然是我认识的同类工作中已经被证明过的重要结论还有一条思路虽然表述粗糙但确实指向了我之前没注意过的结构。换作五年前光是“从零开始意识到这条路可能存在”这一步可能就得花上一个星期。这就是“想法变得廉价”最直接的含义从 0 到 1 的灵感成本大幅下降。任何使用过现代对话式 AI 的人都能体会到这种变化——你不必先成为一个领域的顶级专家就可以获得大量“还算合理的起始假设”。在很多行业这极大降低了入门门槛让跨界者也能快速拥有像样的思路。但这只是硬币的一面。因为生成想法这件事一旦变得便宜它就不再是研究、创作或决策链条上最稀缺的资源。真正决定成败的环节反而从未改变甚至因为新环境而变得更突出。1.2 “廉价”不等于“无用”关键看你怎么用很多人一听说“想法廉价”立刻会产生负面联想觉得 AI 生成的思路都是水货。这个判断其实既对又错。AI 生成的想法确实大概率是不完整、不严谨甚至有硬伤的但它的价值不在“直接可用”而在于把你从占据时间的低阶生成中解放出来。举个例子。如果我需要在分析某个级数收敛性时考虑可能适用的比较对象传统做法是自己在脑子里过一遍所有见过的经典级数。这个过程机械、耗时但它确实为后续的证明提供了原材料。现在我可以让 AI 先列出一批候选我再逐一验证。这本质上和“查阅文献”“翻公式手册”没有区别只是快了几个数量级。真正需要警惕的是另一件事很多人把 AI 提供的“看似有逻辑的答案”直接当作结论跳过验证和打磨。这不是 AI 的问题而是使用者把廉价想法的定位搞错了。廉价的想法应该被当成“待检验的种子”而不是“可直接交付的果实”。我对 AI 生成内容的定位一直是它提供的是假设、线索和初稿而不是结论。真正负责任的工作流必须包含对每个核心判断的独立验证。1.3 从“生成稀缺”到“验证稀缺”的范式迁移把时间轴拉长看人类智力劳动的稀缺性正发生一次迁移。在过去的教育和工作中我们花了大量时间训练“从无到有”的能力——提出假设、构想方案、找到解题方向。这些能力在信息闭塞、知识传承渠道有限的年代是核心壁垒。但今天一个研究生的 AI 助手可能比一位资深教授更快列出某个问题的候选解法。当所有人都有能力在十分钟内产生二十个想法时想法的数量就不再构成个人竞争力。剩下的竞争维度是什么是验证能力——你能否判断哪个想法是错的、哪个是对但无用的、哪个是真问题且可实现的是判断能力——你能否在众多候选方向中挑中值得投入数月甚至数年精力的那一条是整合能力——你能否把 AI 给出的碎片化思路嵌入自己的知识体系形成一个自洽的整体。陶哲轩说的“真正的瓶颈”我认为指的就是这些环节。接下来的部分我会逐一拆解这些“从未改变”的能力到底是什么以及如何在 AI 时代把它们练得更扎实。2. 真正的瓶颈一验证研究中最不被看见的重活2.1 验证为什么如此费力AI 生成一条思路可能只要 30 秒但验证它可能需要 30 个小时。这个量级差异比大多数人感知到的还要悬殊。平时我用来验证 AI 给出的数学思路时工作流一般是这样的先检查每一步推导是否在逻辑上站得住再找反例或者边界情况试探如果通过初步筛查就要尝试写出完整证明写的过程中往往会发现隐藏假设于是需要回到开头重新调整命题形式最后还要检查是否有循环论证。这个过程枯燥、漫长没有任何眩目感但所有真正站得住的结果都绕不开它。为什么验证如此费力因为数学是一个没有“大概正确”的领域。一个断言要么有证明要么没有。AI 生成的推理链经常看似连贯实际上在某个关键步骤悄悄交换了量词的顺序或者引入了未明确说明的连续性假设。这种错误极其隐蔽需要逐行审查才能发现。我的经验是如果你发现 AI 给出的证明有任何一步你无法独立复述其依据那就该把这一步标记出来进行专门验证。不要被“整体流畅性”迷惑。2.2 数学界的验证新工具交互式定理证明正是为了应对“验证难”问题近年来数学界开始越来越多地使用形式化验证工具。其中最有代表性的就是交互式定理证明器 Lean。Lean 的核心思路是让机器严格检查你的每一步推理。你不仅要在里面写出结论还要写出结论的依据以及依据之间的依赖关系。最终所有推断都被拆解到最底层的公理体系。这个过程中任何一步如果不符合逻辑规则Lean 都会拒绝通过。陶哲轩本人就深度参与过这类项目他所在的合作组尝试把一些前沿数学结果完全形式化到 Lean 中。这件事的意义被很多人低估形式化过程相当于以最高标准做一次全面验证任何一处“这里的细节显然成立”都被迫变成“这里必须写出完整的构造性证明”。我在自己的实践里也尝到过甜头。有一次 AI 帮我生成了一个关于拓扑空间紧致性的命题看起来很有希望。我试着用 Lean 风格去逐步表述它结果在第三步就发现了一个做反例的情形——那个命题对某些非有限型空间根本不成立。如果不做这个验证我可能会按错误方向浪费两三天时间。对普通人来说不一定需要掌握 Lean 这类专业工具但它的思想完全可以迁移把模糊的断言拆成可执行的子步骤对每一步进行独立审计。这和方法论无关它是验证的本质。2.3 验证的日常训练法反例优先与边界试探除了形式化工具日常工作中我还有一套相对轻量的验证习惯这里分享给你反例优先拿到一个候选想法后不急着找支持证据而是先系统性地找反例。如果连一个明显反例都找不到这个想法至少不是立刻可以被推翻的。边界试探把命题中的条件推到极端。比如参数取 0 会发生什么取无穷大会怎样维度是 0 或者 1 时还能成立吗很多看似正确的断言在极限情形下会现出原形。最小化假设尝试把前提条件尽可能削薄看结论是否仍然成立。如果结论需要非常强的前提才能成立那么它的适用范围可能比想象中窄得多。复述测试把 AI 给出的推理用自己的语言完全重新表述一遍不翻看原文。表述过程中任何卡壳的地方都是潜在的逻辑断裂点。这套方法不仅能验证 AI 生成的想法用于审查同事的提案和朋友的计划书也极其有效。它训练的是一种“不轻信”的肌肉记忆在想法泛滥的时代尤其宝贵。3. 真正的瓶颈二筛选比产生想法更重要的是放下想法3.1 想法太多反而是一种负担我第一次大量使用 AI 辅助研究的时候踩过最大的坑不是 AI 给出的想法太烂而是好想法太多了。每次会话结束我手上都多了五六个看起来可行的方向。然后问题就来了我该继续哪个哪些值得投入更多哪些应该果断放弃这其实是“想法廉价化”之后最现实的困境——我们的注意力带宽没有变宽只是选项变多了。选择本身会消耗精力而选择错误的代价可能是几个月的时间沉没成本。陶哲轩在讨论 AI 对数学家的影响时经常强调的一点正是真正的困难在于知道哪些“想法”值得追求。我想给“筛选”这件事一个更清晰的定义筛选不是简单地判断对错而是判断重要性和可行性。一个想法可以完全正确却无足轻重也可以很有前景但在现有条件下不具可行性。AI 可以帮助我们扩充候选池但无法替我们执行价值判断因为价值判断依赖你对领域全局的理解。3.2 如何建立自己的筛选框架基于这些年的摸索我给自己建了一套筛选框架平时判断哪些 AI 生成的想法值得深入时就用它来过滤影响力检验如果这个想法实现了能改变什么是解决了一个悬而未决的问题还是仅仅把现有的方法改成了一个等价形式核心依赖检验这个想法的成立建立在哪些关键假设之上这些假设是已有共识还是只有少数人相信但证据不足投入回报比检验按照当前的技术水平验证这个想法大概需要多少时间如果成本极高是否有更温和的近似版本可以先做个人能力匹配检验我的技能树跟这个方向是否匹配如果完全不匹配我有意愿去补上这个能力缺口吗这些标准并不神奇但在想法纷杂的时候它们能帮我快速做减法。筛选的过程本质上是在承认一个残酷事实你不可能跟进所有有趣的方向所以必须主动放弃部分可能性。3.3 借助 AI 做预筛选但要保留最终判断权AI 能不能帮助我们做筛选当然可以而且应该。我的典型做法是先让 AI 根据某个项目的既定目标对所有候选想法做一个初步排序并给出排序理由。然后我再逐条审查排序逻辑重点看它是否遗漏了某些非量化因素比如某个方向虽然当前看起来风险大但一旦成功会有巨大的范式价值。这个过程中最需要注意的事情是不要把 AI 的排序当作最终决策依据。AI 的排序逻辑往往基于它对“常规做法”的统计而真正有价值的研究往往恰恰是突破常规的。换句话说AI 适合做“保鲜期筛选”把明显浪费时间的方向过滤掉而“高风险高回报”的押注永远需要人来拍板。在这个意义上筛选能力的核心依然是人类的事情它是品位、阅历和勇气的混合体。AI 帮我们节省了评估的机械时间却没有、也无法替代评估本身。4. 真正的瓶颈三理解AI 无法替你完成“消化”4.1 理解了才能拥有不理解的工具只会产生幻象我一直觉得“理解”是 AI 时代最容易被低估的能力。很多人在 AI 辅助下工作了一两年产出不少但对核心原理的把握可能还不如此前认真研读三个月文献的深度。原因很简单AI 帮你跳过了大量“吃力”的中间步骤而那些步骤恰恰是理解的来源。我要打个比方理解一件事就像亲自走一条山路。传统方式虽然耗时但你记得每个路口的特征、每一段坡度变化。AI 相当于一辆直升机你唰地一下到达山顶看到了全局却没有认识路径本身。下次你需要在途中某处临时改道时没有路径认知就会陷入茫然。数学界其实经历过类似阶段。计算器刚出现时学生可以通过按几个按钮得到复杂函数的数值但完全不知道背后的级数展开原理。结果是什么很多学生失去了对函数性质的直觉遇到计算器无法直接处理的问题时完全无计可施。同样的情境正在以更高强度重演。4.2 主动学习把 AI 的输出当作“索引”而非“答案”在我看来正确的应对方式不是拒绝 AI而是把它当作“知识索引”来用。AI 给出的结论和推导路径应该被看作指向原始文献、原始推理链路的索引而不是终极答案。具体的做法是每当 AI 给我一个我不完全理解的论断时我会沿着它给的方向去查阅教科书和相关论文自己把推理走一遍。这个过程通常比直接让 AI 解释要慢很多但它能真正把知识沉淀下来。我管这叫“补偿性学习”——享受了效率红利就主动用深度思考去补偿。同样AI 适合做“脚手架”但不适合做“承重墙”。如果你要写的证明里有一处关键引理做不到独立推导那么无论 AI 的解释多流畅这个证明都还不能算是你自己的。理解能力的另一个不可替代之处在于它决定了你在真正遇到难题时能否提出新的问题。AI 擅长回答但尚未能真正自主提出具有范式转移意义的问题。提出问题需要对深层结构有直觉这种直觉只能从“亲自动手消化知识”的过程中生长出来。4.3 培养理解的日常习惯关于怎么在 AI 时代保持理解力我给自己定了几个朴素的小规矩每周至少一次“无 AI 会话”不借助 AI 工具独立推导一个领域内的小问题哪怕只有三五步。强制重述遇到重要的结论尝试不看任何资料用最简洁的语言写清楚它的核心证明思路。“空白出现”标记法如果某个 AI 提供的推理链在某处让我感到“大概懂了”我会立刻停下来把“大概”二字变成具体的问题专门找资料填补那块空白。这些习惯不一定适合所有人但底层逻辑是共通的理解需要主动的心理努力任何工具都无法代劳。在想法变得廉价的时代真正理解一个想法的人会比只拥有想法的人走得更远。5. 实操一套在 AI 辅助下守住判断力的工作流5.1 构建“生成—验证—筛选”三段管线前面讲了很多理念层面的内容现在落到操作上我会把自己目前在项目中使用的工作流完整梳理一遍。这套流程的核心目的正是在想法廉价的时代通过流程设计来守住验证和判断这两个瓶颈环节。第一阶段是生成与管理。我会把 AI 当成一次性大规模生成候选方案的机器。每次研究一个新问题我会整理出当前已知前提、目标、约束条件然后要求 AI 给出尽可能多样化的思路同时明确告诉它不需要保证证明完整只需要给出方向和大致路线。所有产出的想法统一记录在项目笔记里每条标注生成时间和生成时的上下文。第二阶段是批量验证。我不对筛选阶段做过多纠结至少利用初步验证来快速淘汰明显不成立的选项。验证动作包括反例试探、边界情况检查、在简化模型里做数值实验。这个阶段我大量使用符号计算工具也会跟同事快速讨论。凡是无法通过初步验证的一律暂时封存不投入深度分析。第三阶段是定向深耕。通过初步验证、有较高概率成立同时有足够影响力的想法才会进入这个阶段。这时我才开始投入大量时间做完整证明、完整实验、完整原型开发。如果这个方向足够复杂并且允许形式化我甚至会借助交互式定理证明工具完成严格验证。这套三段式管线最大的改变是我在“想法产生”环节投入的时间被压缩到极致而在“验证”环节投入的时间反而增加了。最终产出的数量并没有显著变多但每一条产出的可靠性明显提高。5.2 日常工具与检查清单以下是我目前在用的工具组合仅供参考对话式 AI 工具用于生成候选思路、解释概念、辅助文献梳理符号计算系统用于快速验算、代数化简、数值测试交互式定理证明器形式化关键结论仅限于对严谨性要求极高的场合笔记工具集中存放所有候选想法、验证记录、中间版本为了让工作流更可控我给自己列了一份“AI 协作检查清单”每次使用 AI 助手完成某类任务时都快速过一遍[ ] 这个想法能用一个明确的问题陈述来表达吗[ ] AI 给出的推理中有哪些环节是我无法独立复述的[ ] 是否存在我可以构造的最简反例[ ] 这个想法的适用范围是什么当条件变化时它是否仍然成立[ ] 如果这个想法成立它是否比当前已知方法更优好在哪个维度[ ] 投入时间验证这个想法机会成本是什么别小看这份清单它帮我避免过无数次“看着很美、实际是坑”的无效投入。6. 常见误区与避坑指南6.1 误区一把流畅度等同于正确性这是 AI 辅助工作中最普遍的陷阱。大语言模型被训练得极度擅长生成“像话”的文本于是“像话”和“正确”之间的界限变得非常模糊。在数学乃至更广泛的学术环境中一个论证如果每一步读起来都符合直觉人们自然而然地倾向于接受它。但真实情况是AI 生成的文本擅长保持局部语法和语义的连贯却可能在全局逻辑上出现致命跳跃。我的应对办法是把 AI 提供的推导拆成若干独立步骤然后故意打乱顺序。如果那些步骤无法在不改变结论的情况下重新排序并保持逻辑条理这说明它们之间的依赖关系并没有被真正理解对不对还两说。6.2 误区二把 AI 生成当作“已经学过”很多人在遇到新概念时习惯性地让 AI 解释一遍然后觉得自己懂了。这个体验跟真正掌握之间差了十万八千里。解释能被理解和完全能够自主使用是两种完全不同的能力状态。AI 的解释是为你量身定制的“顺滑版”它剔除了大量细节和复杂性让你产生了理解的错觉。但当你真正需要它来解决具体问题、应对意外变化时你会发现那些被 AI 省略掉的细节全都在拦路。最直观的检测方法隔两天之后不看任何笔记尝试独立解答同一个概念下的新问题。如果做不到说明当初的理解是“被动理解”得重新学。6.3 误区三只筛选不深耕永远在起点打转想法廉价之后很多人会掉入“旋转门陷阱”不断产生新想法每个都浅尝辄止验证一两个表面特征就转向下一个。这种工作模式很消耗精力且几乎没有产出。我见过不少使用 AI 的同行项目列表越来越长但没有一个是真正完成的。原因很简单筛选的成本降低了但深耕的成本从来没有降低。要避免这个陷阱需要一种“反直觉”的纪律——主动减少选项强制自己在少数方向上投入足够时间。我会给每个阶段立规矩比如“这个季度最多同时推进两个核心方向”除非出现不可抵御的机会否则不允许新增。另外每做完一个阶段性验证我都会让相关想法进入“结论状态”——无论是被证实还是被证伪都记录在案。渐渐地你会有一种积累感而不再是被想法之海冲得晕头转向的迷茫感。6.4 避坑技巧速查表误区典型表现应对方法把流畅当正确AI 论证读起来顺就接受拆步骤、打乱顺序、独立复述把解释当理解听懂了却不会用延迟重测隔天出题自测外寻多于内化笔记全是 AI 原话用自己的话重写、标注存疑点只筛选不深耕方向太多却没成果限制并行项目强制深耕规避所有枯燥工作不验证只生成建立三段管线固定验证流程迷信“领域大模型”建议专家模型结论直接信对所有关键结论一视同仁地验证这张表里最核心的一句话其实是工具变强了人的责任没有变小反而以另一种形式变大了。过去你要为如何获得想法负责现在你要为如何不被想法淹没、如何把正确的想法变成坚实成果负责。写在最后我在实践中最深的体会是AI 带来的变化本质上不是“你想得到什么”的变化而是“你想过之后怎么办”的变化。想法的获取太容易了容易到我们几乎要忘记真正的价值不在于耳朵里听到多少个可能性而在于手上能拿出多少个经得起检验的结论。陶哲轩那句“真正的瓶颈从未改变”换个角度理解其实是一句让人安心的提醒。它意味着在人类智力活动中那些最深层的部分——好奇心、判断力、严谨性、持续投入的能力——依然是决定性的。工具替我们承担了大量重复劳动但依然无法取代我们对结果的最终责任。如果你正在使用 AI 辅助自己的研究或创作我建议你把注意力从“如何生成更多想法”迁移到“如何构建更可靠的验证体系”上来。与其花时间让 AI 自我迭代一百个新点子不如花时间把你拥有的某个点子打磨成扎扎实实的结果。别怕慢方向对了慢也是最快的路径。