OpenAI数学解法因缺乏人类理解未达学界标准

OpenAI本周发布数百个高难度数学问题解法，但未达数学界对“人类理解”的要求。新研究指出其自然语言证明与Lean形式化代码存在偏差，且仅42%的证明完成形式化。普林斯顿高等研究院的AGMAI委员会此前建议停止用专有模型测试前沿数学问题，并要求包含机器可读元数据，但OpenAI未执行这些建议。