行业多源确认
OpenAI 生成的数学证明未达到数学界制定的标准
OpenAI’s math solutions aren’t meeting the field’s standards yet
精选理由
OpenAI 发布了一批数学证明，结果被自己请来的数学家指出不符合他们定的规范，这篇文章讲的就是哪儿不达标。
OpenAI 此前批量发布了一批数学证明，但 TechCrunch 报道称这些证明偏离了该实验室咨询的一组数学研究者所制定的指南。这些指南由数学界研究人员拟定，用于规范证明的呈现与验证方式。报道认为 OpenAI 目前的数学解答尚未达到这一标准。
原文 · techcrunch
OpenAI’s math solutions aren’t meeting the field’s standards yet
OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier lab.
