Terence Tao

AI在2026年解决千禧年数学难题，引发数学界范式变革，Terence Tao警告自动化证明将消解数学探索价值。

AI在2026年推翻多个百年数学猜想，引发数学界危机，Terence Tao警告基础数学实践面临颠覆性变革。

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

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

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

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

OpenAI可能通过AI系统解决Navier-Stokes方程问题，但引发数据隐私争议，提示工程师需警惕商业AI模型的数据使用风险。

当前AI工具使用常偏离负责任的实践轨道，未能充分发挥其在解决方案生成及后续活动中的潜力。

OpenAI在数学领域取得突破性进展，Gary Marcus与Terence Tao共同分析其技术影响与局限性。

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

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

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

该推文讨论了Terence Tao在社交媒体上的争议性言论，但缺乏技术深度和实用价值。