Il n'y a pas de mur L'agent d'autoformatisation de Math Inc., Gauss, a terminé le projet "Théorème des Nombres Premiers Forts" en seulement 3 semaines—une tâche sur laquelle même Terence Tao et Alex Kontorovich avaient travaillé pendant plus de 18 mois et s'étaient retrouvés bloqués. "Nous entrons dans un Âge d'Or où chacun peut invoquer des mathématiciens artificiels pour la recherche. Alors que les mathématiques vérifiées deviennent le terrain d'entraînement pour l'IA, nous créons des universalistes machines qui transcenderont les limitations humaines—les von Neumann de l'ère numérique."