OpenAI公开其AI对首个数学挑战的证明尝试

为了推动透明度，OpenAI已公开发布其AI模型尝试解决‘首个证明’挑战的过程——这是一组旨在测试研究级推理能力的高阶数学问题。该发布罕见且坦诚地展示了AI在高级形式推理方面的能力与当前局限。该挑战超越了简单计算，进入了……的领域。