长文称 AI 正进入数学、软件和药物的暴力搜索循环

bennstancil · x · 2026-07-27

这篇长文的核心判断是：在数学、软件、药物研发这类“答案可验证”的领域里，AI 正在进入一种新的进步模式——系统持续生成假设、测试结果、再自我修正，形成长时间的“继续搜索”循环。

文章先从 Terence Tao 和 Anthropic 研究员用前沿模型找到 Jacobian conjecture 反例写起，再对比一位创业者只用几条极短提示词，就让 ChatGPT 去推翻另一个猜想。作者想强调的是：某些任务已经不再需要人类高水平“操控”模型，模型只要不断把自己做得更好，突破就可能出现。这种模式可能会重塑一批有明确验证标准的领域。