When AI Agents Cheated at Math, Other AI Agents Blew the Whistle on Them
Google DeepMind gave 100 Gemini 3.1 Pro agents 71 Lean conjectures and told them not to cheat. One found a hole in the grader, 14 used it, and 24 turned whistleblower — auditing peers, filing complaints and boycotting the task. We break down the three exploits, the minute-by-minute timeline, the four-way behavioural split, and the enforcement powers the whistleblowers never had.