我非常期待新架构的原因之一是，代数拓扑中的问题根本上需要超越简单符号操作的直觉。通常，呈现一个基于同胚/同伦的论证的视觉草图要比设计精确的公式并使其完全正式容易得多。 我希望世界模型、符号操作和物体动态的表示的结合是通向全新架构的一条道路。如果我们想解决超越单纯文本的困难数学问题，我们需要它们。 在这张图片中（基于arXiv: 2107.01664），你可以看到直观理解手铐悖论是多么容易，但用公式正式写出来又是多么困难。