Una de las razones por las que espero con mucho interés nuevas arquitecturas es que los problemas en topología algebraica requieren fundamentalmente intuiciones que van mucho más allá de simples manipulaciones simbólicas. A menudo es mucho más fácil presentar un esbozo visual de un argumento basado en isotopía/homotopía que diseñar fórmulas precisas y hacerlo completamente formal. Espero que una combinación de modelos del mundo, manipulación simbólica y representaciones de la dinámica de objetos sea un camino hacia arquitecturas completamente nuevas. Los necesitamos si queremos resolver problemas matemáticos difíciles que van más allá del simple texto. En la imagen (basada en arXiv: 2107.01664) se puede ver lo fácil que es intuir la paradoja de las esposas, pero lo difícil que sería escribirla formalmente con fórmulas.