数学证明需要严格的多步逻辑链，容错空间极小，因此数学长期以来被视为检验 AI 推理能力的硬标准。