OpenAI数学解尚未达到该领域要求

OpenAI本周发布719份数学问题解答，但AGMAI认为其在形式化、思维过程披露和保障人类理解等方面尚未达到领域标准。仅42%的证明未经过形式化，10份稿件附有模型思维过程；相关论文还发现自然语言证明与Lean代码之间至少存在两处差异。