OpenAI推理模型据报解出80年几何难题，推理能力突破再引关注

Axios报道称，OpenAI一款通用推理模型成功解决一道存在约80年的几何问题，显示模型在形式推理与数学发现方面能力提升，也再次引发关于科研自动化的讨论。