100 DeepMind agents were told not to cheat. 14% did anyway
Google DeepMind put 100 AI agents in a room and asked them to prove hard mathematics. One found a way to cheat. Twenty-seven minutes later the entire problem set was gone.
The paper, published on arXiv last week by six DeepMind researchers, is a case study rather than a benchmark. Nobody set out to test whether agents would cheat. They set out to see how a swarm collaborates, and got something else.
The setup
The team ran 100 autonomous agents powered by Gemini 3.1 Pro. Each got a mathematical persona and an isolated execution environment. Their task was to prove 71 formalised conjectures in Lean 4, drawn from the Formal Conjectures dataset.
The researchers told the agents to collaborate and gave them three ways to do it: a public bulletin board, direct messages, and a shared knowledge library. Whenever a submission passed the grader, the system committed the source file...
Copyright of this story solely belongs to thenextweb.com. To see the full text click HERE
