Elliot Glazer 的全 AI 数学证明引发正确性验证争议

cloneofsimo 讨论 Elliot Glazer 发布的一项完全由 AI 生成和验证的数学证明，以及围绕其正确性产生的争议。一方要求验证证明正确性，另一方要求质疑者指出具体漏洞。由于没有人类真正理解该证明，人类难以直接审查；Elliot Glazer 则称仓库积累的证据多于单纯要求信任者。