Terence Tao 批评 AI 数学证明方式不可持续

2026年11月1日，X 平台用户 Rohan Paul (@rohanpaul_ai) 发布内容称，数学家 Terence Tao 批评 AI 做数学证明的方式不可持续。该内容指出，Tao 认为 AI 做数学的问题不在证明是否正确，而在于以“自动化露天开采”的方式解题：Navier-Stokes 相关研究一度活跃，如今陷入混乱，虽终将恢复，但做法非常次优。Tao 表示，负责任的方式应推动领域发展，而当前只求即时目标的做法会损害数学领域未来的发展。目前该说法仅见于这一条 X 内容，尚无其他主报道或跟进报道予以印证或补充。 早先报道称……，后续报道称……（本事件目前仅有一条报道，暂无早先与后续报道可供对照。）

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。