OpenAI的数学解决方案尚未达到该领域的标准

OpenAI本周发布了719个数学问题解决方案，但被普林斯顿大学主办的AI与数学咨询小组（AGMAI）指出未达到领域标准。其中仅10个证明发布了模型思维链，42%的证明未经过形式化过程。数学家Terence Tao等人批评这些解决方案缺乏人类理解，与自然语言证明和Lean代码的差异凸显依赖AI自动化的风险。