Стіни немає Агент автоформалізації Math Inc. Гаусс виконав проект «Теорема про сильні прості числа» всього за 3 тижні — завдання, над яким навіть Теренс Тао і Алекс Конторович працювали понад 18 місяців і застрягли. «Ми вступаємо в Золотий вік, коли будь-хто може викликати штучних математиків для досліджень. У міру того, як верифікована математика стає тренувальним майданчиком для штучного інтелекту, ми створюємо машинних універсалістів, які подолають людські обмеження — фон Нейманів цифрової епохи».