自动定理证明奖
关于这个奖项
莱布尼茨奖
“结果的质量不仅应使该论文成为在更好的数学期刊上发表的自然候选人，还应成为既定AMS奖之一的候选人（例如科尔、维布伦） 甚至是菲尔兹奖章。 当经典定理首次出现时，它们的证明不应比经典定理复杂，例如，代数基本定理或其中一个不动点定理（Brouwer、Leray-Shauder）。 虽然显然很难精确定义，但计算机程序在论证中的作用不应仅仅是辅助性的。 新颖的技术、有意义的原创定义、有趣的中间结果建议、更广泛的应用前景——这些贡献中的任何一个，以及今天无法预见的其他贡献，都符合标准。”