标签： 智能推理

OpenAI内部推理模型推翻保罗·Erdős于1946年提出的单位距离猜想，这是AI首次自主完成经典数学开放问题的证明。此前GPT-5宣称解决多个Erdős问题但被证伪，此次成果经过验证且原创性获得认可。