OpenAI 的数学解答尚未达到数学界的标准

OpenAI 本周公布的数学证明未充分遵循数学顾问组 AGMAI 的建议，争议集中在人类理解、过程披露及形式化对应关系。719 份文稿中仅 10 份公开模型的思维链，42% 的证明尚未形式化，也未提供关联自然语言证明与形式化成果的机器可读元数据。