英伟达的AI已经开始接管整个项目了？SATLUTION自主进化代码库登顶SAT竞赛

机器之心报道 机器之心编辑部 但现实世界的软件，比如一个顶级的 SAT 求解器，是一个庞大而复杂的系统工程，包含数百个文件、精密的编译系统和无数相互关联的模块。手动打造一个冠军 级求解器不仅需要极高的领域知识，而且投入产出比越来越低。 为此，NVIDIA Research 的研究人员提出了 SATLUTION ，首个将 LLM 代码进化能力从「算法内核」扩展到「完整代码库」规模的框架。 SATLUTION 能够处 理包含数百个文件、数万行 C/C++ 代码的复杂项目，并在被誉为「计算理论基石」的布尔可满足性（SAT）问题上，取得了超越人类世界冠军的性能。 SATLUTION 框架通过协调 LLM 智能体，在严格的正确性验证和分布式运行时反馈的指导下，直接对 SAT 求解器的代码库进行迭代优化。值得一提的是，在这 一过程中，它还会同步地「自我进化」其进化策略与规则。 AI 开发复杂软件的时代即将到来？ 近年来，以 Google 的 AlphaEvolve 为代表的研究已经证明，AI 智能体可以通过迭代来优化算法，甚至在某些小型、独立的编程任务上超越人类。然而，这些工 作大多局限于几百行代码的「算法内核」或单个文 ...