reasoning-model

OpenAI推理模型成功构造反例，证伪存在80年的埃尔德什单位距离猜想，展现了通用模型解决开放数学问题的能力。

OpenAI 模型自主解决了平面单位距离问题，这是由保罗·埃尔德什于1946年提出的著名数学开放问题。该模型发现了一组超越方格的新构造。这标志着人工智能首次自主证明了一个重要的数学开放问题。