OpenAI的数学解决方案尚未达到该领域的标准
techcrunch ·
OpenAI 最近发布了数百个复杂数学问题的解决方案,并声称已咨询顾问小组以确保高标准。然而,数学与人工智能咨询委员会(AGMAI)指出,OpenAI 未达预期,特别是在人类对结果的理解方面。尽管 OpenAI 遵循了部分准则,例如快速发布证明,但未能满足其他要求,如为大多数手稿提供思维链数据或形式化相当一部分证明。包括著名数学家陶哲轩在内的批评者认为,AI 求解器缺乏对该领域的真正兴趣,且无法充分解释其输出结果。一项新研究揭示了 OpenAI 针对源自纳维-斯托克斯方程的百万美元难题所给出的自然语言解释与形式化 Lean 代码之间存在差异。这些误译引发了人们对在缺乏严格人工同行评审的情况下依赖模型自行形式化其工作的担忧。数学家强调,真正的发现需要人类的参与和责任,而当前的 AI 流程尚无法提供这一点。因此,学界对 OpenAI 是否已采取足够措施确保人类理解这些自主生成的解决方案仍持怀疑态度。
techcrunch