我非常期待新架構的原因之一是，代數拓撲中的問題根本上需要超越簡單符號操作的直覺。通常，呈現基於同倫/同調的論證的視覺草圖要比設計精確的公式並使其完全正式容易得多。 我希望世界模型、符號操作和物體動態的表示的結合能成為通往全新架構的道路。如果我們想解決超越單純文本的困難數學問題，我們需要這些架構。 在這張圖片中（基於 arXiv: 2107.01664），你可以看到直覺理解手銬悖論是多麼容易，但用公式正式寫出來又是多麼困難。