OpenAI 生成的数学证明未达到数学界制定的标准

OpenAI 此前批量发布了一批数学证明，但 TechCrunch 报道称这些证明偏离了该实验室咨询的一组数学研究者所制定的指南。这些指南由数学界研究人员拟定，用于规范证明的呈现与验证方式。报道认为 OpenAI 目前的数学解答尚未达到这一标准。