多智能体 GenOS 演化算法:暴力求解击败 SAT 求解器

MonokoEloba · reddit · 2026-08-20

作者构建了多智能体框架 GenOS,让 LLM 智能体编写并演化 Rust 代码来解决 NP-Hard 的“生命游戏逆推”问题。实验中,系统自发演化出三种优化范式:因果分析、SAT 求解器和暴力模拟。最终,名为 Sigma 的暴力模拟变种利用位切片和模拟退火达到了 378/400 的分数,并证明了在该约束下达到 400 分在数学上是不可能的。

所属事件:多智能体框架 GenOS 让 Rust 代码自主进化求解 NP 难题(2 条相关)→

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →