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