OpenAI 数学证明尚未达到该领域规范要求

OpenAI 本周发布数百项数学问题解答，但其证明未完全遵循 AGMAI 提出的数学研究规范。719 份手稿中仅 10 份公开模型的 chain of thought，42% 的证明经过形式化处理，且发布中未加入关联自然语言证明与形式化成果的机器可读元数据。