整数 $\varphi$-表示的新性质
数论
2026-03-12 v2 形式语言与自动机理论
摘要
我们证明了整数 -表示的几个新性质，其中 。特别地，我们证明了 Kimberling 于 2012 年提出的一个猜想。我们使用 Walnut 定理证明器作为软件助手，并在其中一处证明中使用了 ChatGPT 5。
引用
@article{arxiv.2509.16150,
title = {New properties of the $\varphi$-representation of integers},
author = {Jeffrey Shallit and Ingrid Vukusic},
journal= {arXiv preprint arXiv:2509.16150},
year = {2026}
}