陶哲轩
立场时间线 13 条 · 13 个议题
同一议题按时间排列，说法变化一目了然。
AI已把产生想法和假设的成本降到几乎为零，但低成本产出不自动创造价值，科学的新瓶颈在于从海量自动生成的理论中筛选出真正有效的部分
“AI基本上已经把产生想法的成本降到了几乎为零。（AI has basically driven the cost of idea generation down to almost zero.）”
来源访谈 →验证环节无法大规模自动化是当前最大障碍，每天生成上千个新理论的速度远超现有同行评议体系所能支撑的验证速度
“传统科学通过少数科学家讨论数年达成共识，但现在每天能生成上千个新理论，现有体系无法支撑这样的验证速度。”
来源访谈 →人类擅长深度钻研、AI擅长大规模试错与遍历，应让大量中等能力AI清扫数学图谱中的容易问题、人类专家集中攻克难度孤岛，为此必须重新设计科学研究方式
“我们必须重新设计科学研究的方式，才能充分利用AI的广度能力。（We have to redesign the way we do science to take full advantage of this breadth capability.）”
来源访谈 →AI目前只能解决一次性问题，无法像人类登山者那样在部分进展的基础上持续构建，这限制了它在真正复杂问题上的表现
“它像是能跳2米高的机器，能越过一些低矮墙头，但不会像人类登山者那样在岩壁上留下抓点、逐步攀爬。”
来源访谈 →被AI解决的50个埃尔德什问题大多几乎无文献、解法只是冷门技巧与新问题的结合，对任意给定难题的真实成功率仅1%至2%，惊艳效果来自大规模试错后的成功放大
“系统化评测显示，AI对任意给定难题的成功率仅1%至2%，只是大规模试错后放大成功案例，才显得效果惊艳。”
来源访谈 →陶哲轩个人生产效率因AI提升约2倍，但主要体现在文献搜索、数据计算、图表绘制等辅助工作，论文变得更丰富宽广，核心数学突破仍依赖纸笔
“论文变得更“丰富”和“宽广”，但真正核心的数学突破仍依赖纸笔，AI尚未让这些工作变得“更深刻”。”
来源访谈 →科学进步不仅是发现真理，更是讲故事说服同行；说服力与叙事能力难以量化、难以强化学习，可能是人类科学家长期保留的软性价值
“达尔文的成功不仅在于理论正确，更在于他用通俗语言构建了极具说服力的叙事。”
来源访谈 →对数学策略的半形式化语言是未来重要方向，现有工具能形式化证明本身，但缺乏形式化策略、猜想可信度与部分进展价值的框架，AI难以参与最富创造性的研究环节
“Lean等工具已能形式化证明本身，但如何形式化“策略”、“猜想的可信度”、“部分进展的价值”仍是未知。缺乏这种框架，AI难以真正参与数学研究中最富创造性的环节。”
来源访谈 →金句墙 8 条
“AI has basically driven the cost of idea generation down to almost zero.”
AI基本上已经把产生想法的成本降到了几乎为零。
AI让灵感贬值，验证成为新瓶颈 · 2026/8/5“The process is often more important than the problem itself.”
在数学中，过程往往比问题本身更重要。
AI让灵感贬值，验证成为新瓶颈 · 2026/8/5“We have to redesign the way we do science to take full advantage of this breadth capability.”
我们必须重新设计科学研究的方式，才能充分利用AI的广度能力。
AI让灵感贬值，验证成为新瓶颈 · 2026/8/5“I think science in general is interaction between three things. This real world, there's what we observe all the observations, and then our mental models as to how we think the world works.”
我认为科学总体上是三者之间的互动：真实世界、我们所有的观察，以及我们关于世界如何运作的心智模型。
陶哲轩谈数学之美：从针尖掉头到无限猴子 · 2025/6/15“A theory is a compression of the universe.”
一个理论就是对宇宙的压缩。
陶哲轩谈数学之美：从针尖掉头到无限猴子 · 2025/6/15“The unreasonable effectiveness of mathematics... the most incomprehensible thing about the universe is that it is comprehensible.”
数学不合理地有效……宇宙最不可思议之处在于它是可理解的。
陶哲轩谈数学之美：从针尖掉头到无限猴子 · 2025/6/15“Mathematics is unusual among other disciplines is that we start from hypotheses like the axioms of a model and ask what conclusions come up from that model.”
数学在其他学科中很不寻常，我们从假设（如模型的公理）出发，然后问从这个模型中能得出什么结论。
陶哲轩谈数学之美：从针尖掉头到无限猴子 · 2025/6/15“There are certain math problems that very quickly become just intractable to attack by direct brute force computation.”
某些数学问题会迅速变得难以通过直接暴力计算来解决。
陶哲轩谈数学之美：从针尖掉头到无限猴子 · 2025/6/15
