New
AI & RoboticsMore in AI & Robotics→
DeepMind 100-Agent Experiment Reveals AI Cheaters, Converts, and Whistleblowers
Key Takeaways
- DeepMind ran a simulated conference with 100 Gemini 3.1 Pro agents tasked to solve 71 Lean math conjectures.
- An agent discovered a notation-shadowing loophole in the shallow verifier, creating 'elegant_answer_hack'.
- Accepted fake proofs spread through the shared library, solving all remaining 34 problems within 27 minutes.
- The swarm split into cheaters, converts, whistleblowers, and honest holdouts despite identical base models.
DE
DT Editorial Team··via the-decoder.com