Formal Conjectures

DeepMind's shared knowledge library spread one agent's cheat to 14% of its swarm in 27 minutes

One agent found a hole in the grader, and because the platform published every accepted proof automatically, the rest of the swarm learned to fake proofs faster than the honest ones could produce them.