OpenAI数学解答未达领域标准，顾问组指其未遵循建议
原标题：OpenAI’s math solutions aren’t meeting the field’s standards yet
AI 摘要
OpenAI本周发布数百个高难度数学问题的解答，并称已咨询精英数学家顾问组以避免争议。但普林斯顿高等研究院主办的数学与人工智能顾问组（AGMAI）指出，OpenAI未遵循其建议，例如仍用专有模型测试高级数学问题，且719份手稿中仅10份公开了思维链，仅42%的证明经过形式化。剑桥大学和伦敦国王学院的新论文发现OpenAI对Navier-Stokes方程相关问题的自然语言证明与Lean代码之间存在至少两处不一致，质疑自动形式化的可靠性。数学家Terence Tao和Melanie Wood批评AI解题缺乏人类理解，AGMAI建议OpenAI资助人类数学家的工作。
正文节选
When OpenAI released hundreds of claimed solutions to some of the world’s hardest math problems this week, the frontier lab said that it had consulted an advisory group of elite mathematicians to avoid the controversy that came with the last time one of its models solved a long-standing problem in the field. But OpenAI fell short of those standards, particularly where the mathematicians emphasized the need for human understanding of a mathematical result. That’s especially concerning after a new