unit-distance-problem

Mythos 使用 Claude 代码解决了最近由 GPT 5.5 处理的单位距离问题，并给出了一个可爱且简单的证明。

上周末，Mythos 在 Erdos 单位距离问题（问题 #90）上得到了测试，并成功解决了它。

OpenAI的模型独立解决了Erdős在1946年提出的平面单位距离问题，这是AI首次自主解决数学核心开放问题，具有历史性意义。

OpenAI内部模型在单位距离问题上取得突破，这是一个在离散几何中著名的未解猜想，80年来未有进展，通过找到一个新构造突破了网格的限制。

OpenAI的一个模型自主推翻了离散几何中的核心猜想——单位距离问题，这是人工智能首次解决数学领域的重要开放问题。