Multi-Agent GenOS Evolves Algorithms: Brute Force Beats SAT Solver

MonokoEloba · reddit · 2026-08-20

The author built a multi-agent framework, GenOS, where LLM sub-agents write and evolve Rust code to solve the NP-Hard "Reverse Game of Life" problem. The experiment spontaneously evolved three optimization paradigms: causal analysis, SAT solving, and brute force simulation. Ultimately, a brute-force variant named Sigma, using bit-slicing and simulated annealing, reached a score of 378/400 and mathematically proved that reaching 400/400 is impossible under the given constraints.

Related event: GenOS: Multi-Agent Framework Evolves Rust Code to Tackle NP-Hard Problems(2 posts)→

Original post →

More from coding & agent

coding & agent channel →