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

OpenAI 本周发布数百份高难数学问题的解答，但未完全遵循普林斯顿高等研究院 AGMAI 提出的规范。719 份手稿中仅 10 份公开了模型的思维链，42% 的证明未经过形式化，且未提供关联自然语言与形式化产物的机器可读元数据。