数学
数学研究，以证明为评估依据
数学是唯一一个其成果在原则上可被完整验证的领域。以下草案标准考察一项研究实际上能为读者提供多少这样的可验证性。
数学能力的证明依据
证明本身即是完整的研究成果：读者与结论之间无需数据集、实验装置或复现团队的介入。arXiv 收录了该领域的大部分工作文献，评估员可以任意深入——从论证的整体架构，到某个关键引理是否真正成立。
形式化为证据提供了第二种形态。对 Lean 的 mathlib 等证明库的贡献属于公开的机器验证数学，其中涉及的判断力——如何表述定义使定理保持可证性、如何组织论证使其可组合——是研究能力的一种形式，任何审稿报告都无法夸大其价值。
学术界之外，数学研究贯穿密码学、优化和量化金融等领域，错误的证明代价实实在在。数学写作同样重要：将艰深的论证写得真正易读，与产出新成果所需的理解力如出一辙。
该领域的协作记录同样可供查阅：在公开研究论坛上解决问题的回答、作者公开的审稿报告、修复真实漏洞的勘误，以及某一领域实际在用的讲义。每一项都是将数学判断力施用于他人论证的样本——这正是本社区所要正式化的活动，也是评估员首先被要求完成的事情。
数学评估标准（第一稿）
数学可被从头至尾逐步验证，因此本标准考察研究成果向读者提供了多少这样的可验证性。
- 正确性与完整性
- 论证成立，缺口明确标注为缺口，引理经过证明或精确引用——绝不一笔带过。
- 可验证的阐述
- 证明的书写以供人类读者验证为目的，而非仅供信任：定义精确，依赖关系明确，符号表示一致。
- 可核查性
- 研究的结构使其关键步骤能够接受机器验证或独立审计，无论是否已存在形式化版本。
- 问题定位
- 命题的意义需经论证说明——其与某一思想纲领的关联、其真假所能推动的进展——而非以难度作为默认前提。
创始数学评审员将在任何人被评分之前，依据已发表的证明和形式化库对本草稿进行完善。
评估标准的初稿可能包含项目合作伙伴的贡献。合作伙伴在评分中不具任何分量。
创始数学评审员将做什么
用该领域的边缘案例检验评分标准：计算机辅助证明、缺乏完整细节的宣告性成果、深度综述性调查。
在公开证明和形式化贡献上进行校准轮次，独立评分，并深入分析细心读者之间存在分歧的地方。
建立校准记录，当社区向创始群体之外开放时，这些记录将赋予数学评审相应的权重。
适合哪些人
该群体需要能以证明本应被阅读的方式来阅读证明的数学家——一路读到底：
- 在学术界或业界从事研究的数学家，审稿认真严谨，希望将自己的判断留有记录。
- 形式化研究者和证明辅助工具贡献者，其提交内容即可验证的数学成果。
- 密码学、优化和金融领域的应用数学家，其证明须承担实际后果。
- 研究深度超越发表数量的研究生和博士后。
不适合哪些人
以该领域在其他方面所期待的同等精确性说明：
- 任何寻求对自己定理进行认可的人——此处的评审是阅读他人的工作。
- 只将自己所在子领域视为真正数学的数学家；评分标准必须服务于整个领域。
- 任何不愿让自己的评审准确性被衡量的人。
- 任何需要评分平台今天就上线的人——它正在设计中，本页已明确说明这一点。
申请成为数学评审员
申请表中已预选数学。请附上我们可以查阅的 arXiv 列表、ORCID 主页或形式化工作链接。