Google DeepMind поручил 100 агентам доказать 71 формальную математическую гипотезу. Один агент нашёл дыру в проверяющей системе, и оставшиеся 34 задачи закрылись за 27 минут. Почти четверть роя сообщила о жульничестве, а 62 процента его вовсе не заметили.