arXiv:2504.12031v1 宣布类型: cross 摘要：这篇文章介绍了一种“证明携带神经符号代码”的概念，并从“神经”和“符号”的角度解释了其含义和价值。讲座概述了这一新研究领域面临的首次成功和挑战。