本研究探讨了大语言模型的提示范式，证明提示具备图灵完备性，有限变换器能够通过提示计算任何可计算函数。

研究发现变压器能够表达出令人惊讶的大类转导，使用 RASP 的变体作为中间表示形式，扩展了布尔变体 B-RASP 和引入了两个新的扩展。结果表明变压器解码器是图灵完备的。

本文介绍了Find+Replace变压器架构，证明其在挑战性任务上优于GPT-4，并为多变压器架构提供理论基础。作者证明了传统transformers不是图灵完备的，但Find+Replace变压器是。该架构能够完成传统变压器无法完成的任务，并有助于解释性研究。本文鼓励进一步探索该领域。