Terence Tao

AI将减少研究的认知摩擦，帮助保存发现路径，并扩展数学家和科学家可尝试的领域。

OpenAI利用AI技术推翻数学界80年未解猜想，获菲尔兹奖得主认可，展示AI在数学研究中的新潜力。

陶哲轩指出AI正显著降低数学研究的认知摩擦，使数学家能更高效地实验、协作与文献检索；他强调AI工具已进入‘主流应用阶段’，并呼吁共享探索路径以提升集体知识积累效率。

AI可帮助研究人员探索更疯狂的想法，提升实验效率与创新空间。

Greg Brockman 指出，AI 正通过支持更激进的研究设想来加速科学发现；OpenAI 实践表明，AI 为研究人员提供更大自由度去探索‘更疯狂’的想法，如陶哲轩所言，AI 增加了实验空间、路径探索能力与发现盲区的能力。

文章声称介绍精益思想给程序员，实则聚焦于 Lean 证明助手与 AI 定理证明，主题偏离、信息不完整，缺乏工程实用价值。

Marc Andreessen 引用 Terence Tao 和 Judit Polgar 观点，指出 AI 工具虽高效但可能削弱学习过程中的认知价值。