Одна з причин, чому я дуже чекаю нових архітектур, полягає в тому, що проблеми в алгебраїчній топології фундаментально вимагають інтуїцій, які виходять далеко за межі простих символічних маніпуляцій. Часто набагато легше представити візуальний ескіз аргументу, заснованого на ізотопії/гомотопії, ніж розробити точні формули і зробити його повністю формальним. Я сподіваюся, що поєднання світових моделей, символічної маніпуляції та репрезентацій динаміки об'єктів стане шляхом до абсолютно нових архітектур. Вони нам потрібні, якщо ми хочемо розв'язувати складні математичні задачі, які виходять за межі простого тексту. На зображенні (на основі arXiv: 2107.01664) видно, наскільки легко інтуїтивно визначити парадокс наручників, але наскільки складно написати його формально за допомогою формул.