自动化超专业化案例：来自 SAT 的证据

软件的现状是使用一个系统来处理多种不同类型的输入。相比之下，我们提出超专业化：创建针对单类输入进行优化的新软件。手动进行超专业化要么昂贵，要么不可能。我们推测，编码代理可以使自动化超专业化廉价、有效且安全地解决具有可测量性能和可检查输出的问题。本文通过合成数百个特定于工作负载的 SAT 求解器（每个平均成本为 37 美元）来探索这样一个问题，即 SAT 求解。我们的专家比他们在竞争中获胜的通用同类产品平均高出 5 美元\倍$，在四分之一的基准家庭中高出超过 10 美元\倍$。由我们一百多名原型超级专家构建的通用求解器赢得了 2026 年 SAT 竞赛的 SAT 赛道。