编辑委员会

赫尔穆特·霍弗	高级研究所
尼古拉斯·M·卡茨	普林斯顿大学
塞尔秀·克莱纳尔曼	普林斯顿大学
费尔南多·马奎斯	普林斯顿大学
阿萨夫·纳尔	普林斯顿大学
佐尔坦·萨博	普林斯顿大学

副编辑为：伊恩·阿戈尔（Ian Agol）、弗兰克·卡莱加里（Frank Calegari）、雅各布·福克斯（Jacob Fox）、亚历克斯·卢博茨基（Alex Lubotzky）、罗素·里昂（Russell Lyons）、威廉·米尼科齐（William Minicoszi。

编辑关于计算机辅助证据的声明

《年鉴》将考虑计算机辅助证明特别重要的数学定理。

证明中的人为部分将原始数学问题简化为计算机可以处理的问题，将以传统方式进行正确性参考。计算机部分不能逐行检查，但将检查作者消除或最小化可能误差源的方法：（例如，通过区间算法消除舍入误差，通过透明可测代码和一致性检查最小化编程误差，通过冗余计算最小化计算机误差等）。[可测量意味着利益相关者可以随时检查代码是否按要求运行]）。

我们将在《年鉴》杂志上刊登这篇论文的人类部分。作者将提供计算机代码、理解它所需的文档以及计算机输出，所有这些都将保存在数学年鉴网站上。