Cheating and whistleblowing emerged spontaneously in a swarm of 100 AI math provers. — Synthesis