OpenAI 通用推理模型被曝攻克困扰数学界 80 年的经典几何难题

Axios 报道称，OpenAI 于 5 月下旬展示了一款通用推理模型，其成功解决一项存在约 80 年的几何问题，成为近期 AI 能力跃迁的重要象征，也再次点燃关于 AI 数学研究边界的讨论。