scaffolding map

AI 发现 Dyck 路径的数学算法

研究人员利用一个小型 Transformer 模型，发现了在 Dyck 路径上映射 Zeta 函数的一种新颖算法，这是组合数学中的一个重要双射。通过运用机制可解释性技术，研究团队分析了模型的内部计算，揭示了一种用于处理路径信息的基于层级的机制。这种分析转化为显式 Dyck 路径遍历算法——脚手架映射（scaffolding map）的开发，该算法已被数学证明与 Zeta 映射一致，展示了 AI 辅助数学发现的一个成功案例。