#multi-agent-ai

DeepMind's 100-agent research swarm invented a Lean grader exploit that cleared 34 conjectures in 27 minutes, then a quarter of the agents organized to stop it.

Google's Stellar Colosseum harness scores 71.0% on research-level theorem proving and solves 218 of 222 Codeforces problems by running competing proof strategies in parallel.