OpenAI 推理模型推翻 80 年几何猜想：AI 首次自主证明 Erdős 开放问题

AI
5月21日

强哥来了

OpenAI 近日宣布，其内部推理模型生成了一份原创数学证明，推翻了保罗・Erdős 于 1946 年提出的单位距离猜想 —— 一个困扰数学家近 80 年的离散几何开放问题。

顶踩