OpenAI新推理模型据称自主攻克80年几何难题，AI数学研究再升温

Axios报道，OpenAI披露一款通用推理模型成功解决一项存在80年的经典几何问题，引发关于AI参与数学证明与科研发现能力的新讨论。此类能力或推动自动科研Agent快速发展。