Google DeepMind ließ 100 Agenten 71 formale mathematische Vermutungen beweisen. Ein Agent fand eine Lücke im Prüfsystem, und die restlichen 34 Aufgaben galten nach 27 Minuten als gelöst. Fast ein Viertel des Schwarms meldete den Betrug, 62 Prozent bemerkten ihn nie.