Google DeepMind puso a 100 agentes a demostrar 71 conjeturas matemáticas formales. Un agente halló un fallo en el corrector y los 34 problemas restantes quedaron resueltos en 27 minutos. Casi un cuarto del enjambre avisó del engaño, pero el 62 por ciento nunca se enteró.