Una de las razones por las que espero con ansias 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 los objetos sea un camino hacia arquitecturas completamente nuevas. Las necesitamos si queremos resolver problemas matemáticos difíciles que van más allá del mero texto. En la imagen (basada en arXiv: 2107.01664) puedes ver lo fácil que es intuir la paradoja de las esposas, pero lo difícil que sería escribirla formalmente con fórmulas.