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

NVIDIA Research 发布 SATLUTION，首个将 LLM 代码进化能力扩展至完整软件项目的框架。该系统成功优化了复杂的 SAT 求解器，在多项性能指标上超越人类设计的世界冠军。采用双智能体架构（规划与编码）和动态规则系统，SATLUTION 可在数百个文件、数万行代码的规模上进行迭代优化，并通过严格的编译测试、正确性验证及分布式性能评估机制确保稳定性。实验显示，70 个进化周期内其性能稳步提升，第 50 次迭代时已优于 2025 年人类冠军，最终成本低于 2 万美元。这一成果标志着 AI 在复杂软件开发领域迈出了重要一步。
来源：https://mp.weixin.qq.com/s/6nlr6RUS71uI2PrDLKQhgw