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

OpenAI 本周发布了数百道数学难题的解答，但未达到普林斯顿高等研究院 AGMAI 顾问组制定的数学证明规范。719 份稿件中仅 10 份公开了模型思维链，42% 的证明未经过形式化处理；AGMAI 曾要求前沿实验室停止在专有模型上测试高级数学问题。