OpenAI 数学解答未达学界标准，AGMAI 准则与形式化缺口受质疑

OpenAI 本周发布数百个高难数学问题的解答，称已咨询精英数学家顾问组，但未完全达到学界标准。普林斯顿高等研究院的 AGMAI 提出首要要求是停止在专有模型上测试高难数学问题，而 OpenAI 明确表示正用开放研究问题评估其专有模型；719 份手稿中仅 10 份公开了模型的思维链，仅 42% 的证明未经过形式化。