近期，arXiv 上陆续出现了大模型自动优化约束求解器的论文，一个是当下热门的 AI 方向，一个是比较传统的算法研究方向，它们的碰撞会擦出怎样的火花？ 求解器，是工业软件的核心计算引擎，它在芯片设计、工业调度、智能制造等多个领域都有重要应用。

AI 开发复杂软件的时代即将到来？ 近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工作大多局限于几百行代码的「算法内核」或单个文件。 但现实世界的软件 ...