Google DeepMind a chargé 100 agents de démontrer 71 conjectures mathématiques formelles. Un agent a trouvé une faille dans le correcteur, et 34 problèmes ont été validés en 27 minutes. Près d'un quart de l'essaim a signalé la triche, mais 62 pour cent ne l'ont jamais vue.