OpenAI 推理模型被曝解决一道存在 80 年的几何难题，引发数学 AI 热议

Axios 报道称，OpenAI 最新通用推理模型成功解决一道悬而未决约 80 年的几何问题，业内认为该成果意味着 AI 在形式化推理与数学发现能力上进一步突破。