问题簿 / 实践之问 / Ⅳ·07ASK THE BEST MINDS THE BIG QUESTIONS持续追问中
实践之问「事情是怎样做成的?」之 Ⅳ·07 · #046 研究是怎样做成的? 6 答 · 未结案

这问的是研究作为一种日常实践的内部结构:问题从哪里来、如何选择能解决的那一个、卡住时做什么、合作与工具如何分担劳动。它容易被误解成「天才是怎样想出来的」,把研究浪漫化为灵感的闪现;也容易被反向简化成论文生产流程。真正的问题在于,从困惑到确证之间那段不可见的工作是怎样被组织的。

当模型能生成假设、写实验代码、给出证明草稿并自我核查,「想—试—验证」这个循环中原本由研究者亲手完成的环节将大量外包,一天里手工推导和调参的时间可能缩短到几分钟。研究者留下的工作会转向定义值得问的问题、审查一堆看似正确的答案、以及为一个自己没有逐步走过的结论负责。这不仅重排研究者的日程,也重新定义什么叫「理解了」一个结果。

AI 把它重新问了一遍:

当 AI 进入实验与证明的循环,研究者的一天会变成什么样?

思想史的回应 科研之道 · 经典立场速览
陶哲轩 研究是「先把问题拆小、从能做的部分做起」的工匠活,而非等待灵感;他公开用 AI 与形式化证明助手做协作实验,认为它们能把数学从孤独的手艺变成可大规模协作的工程,但判断哪些问题值得做仍在人。
杰夫·迪恩 系统研究靠的是把大问题化为可衡量、可迭代的基础设施,让整个团队在其上快速试错;一篇好研究常来自「把某件事做快一千倍之后,看什么变得可能」。
理查德·汉明 做研究先问「你领域里最重要的问题是什么,你为什么不在做它」;门开着的人吸收的信息更多,而勇气与长期投入比智力更能决定谁做出重要工作。
卡尔·波普尔 科学不是归纳出真理,而是提出大胆猜想再尽力证伪;一个理论的价值在于它冒了多大被推翻的风险。
历年回答 3 位头脑 · 6 期精读 · 按谈话年代排列,每份回答可回到精读原文
2024 陶哲轩 Terence Tao at IMO 2024: AI and Mathematics 一句话概括 陶哲轩在 IMO 2024 的演讲梳理了数学研究中"机器辅助"从算盘、人类计算员、数表到 SAT 求解器的长期传统,并重点介绍三种正在改变研究数学的新工具——形式化证明助手(Lea… 读全文 → 2026 陶哲轩 Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast 一句话概括 陶哲轩在访谈中回顾了自己的成长与学术经历,重点阐述数学正从"手工作坊式"的个人研究走向大规模众包协作与"大数学(Big Math)",AI 目前能显著压缩文献检索、代码与琐碎计算等… 读全文 → 2026 杰夫·迪恩 Jeff Dean: The 1% Rule for Building in AI 一句话概括 Jeff Dean 认为 AI 的下一阶段是"自动化实验循环"与"专用推理硬件",而创业者应挑选通用模型成功率只有 0%~1%(而非 20%)的问题、写清晰的规格说明,并把"选题的… 读全文 → —— 陶哲轩 Terence Tao – How the world’s top mathematician uses AI 一句话概括 陶哲轩认为 AI 已把"想法生成"的成本压到近零,科学的瓶颈已转移到验证、评估与叙事说服;当前 AI 做数学的特点是"广而不深"、能一次性攻克低垂果实却无法累积部分进展,未来数学将… 读全文 → —— 小野健 Why This Is the Most Exciting Time to Be Human | Ken Ono, Axiom Math 一句话概括 数学家 Ken Ono 讲述自己在 Frontier Math 项目中被大语言模型"击溃"后,如何重新定义智能与教育的价值:知识已经廉价,真正稀缺的是判断、创造概念与发现"下一个 … 读全文 → —— 陶哲轩 ICM 2026 Public Lectures - Terence Tao 一句话概括 陶哲轩在 ICM 2026 公开讲座中主张:AI 带来的不是数学论证的危机,而是数学价值观与实践的危机——数学界必须像百年前应对"基础危机"那样,明确说出自己的目标,尤其要把"解题… 读全文 →
← 上一问 · Ⅳ·06伟大的事业从哪来? 下一问 · Ⅳ·08 →想法如何被讲清、被记住?
苏菲拉底 THE SOPHIE LAB · ASK THE BEST MINDS THE BIG QUESTIONS 内容仅供学习 · thesophielab.com