OpenAI数学解答未达领域标准，引发质疑
原文：OpenAI’s math solutions aren’t meeting the field’s standards yet
当OpenAI本周发布数百个声称是对世界上最难数学问题的解答时，这家前沿实验室表示，它已咨询了一个由顶尖数学家组成的顾问小组，以避免上次其模型解决该领域一个长期未解问题时所引发的争议。但OpenAI未能达到这些标准，尤其是在数学家们强调需要对数学结果有人类理解的地方。这一点尤其令人担忧，因为一篇新论文凸显了OpenAI模型表面上解决的一个百万美元问题的自然语言解答与形式化表达解答之间的差距。数学与人工智能顾问小组（AGMAI）由Princeton University’s Institute for Advanced Studies主办，由来自全球各地机构的九位知名研究人员组成。该组织在9月底发布了前沿实验室解决数学问题的指导方针。在关于最新一批证明的声明中，AGMAI表示，“最终要由数学界来评估我们的建议在多大程度上得到了成功遵循。”然而，该组织的第一个要求是“停止在专有模型上测试高等数学问题”。OpenAI的发布明确表示，它正在使用数学中的开放研究问题来评估其专有模型。当TechCrunch要求对OpenAI最新发布的证明进行更全面评估时，该顾问小组没有回应。该实验室显然遵循了其中一些原则，包括尽快发布结果，并包含模型如何得出结论的信息。但并非对所有证明都是如此：在719篇手稿中，只有十篇包含了模型思维链的发布。对于人们不理解的论文，数学家们建议证明应当被形式化——但OpenAI发布的证明中只有42%尚未经过这一过程。最终，这仍然