标签
OpenAI声称其未发布的推理模型解决了数学中具有80年历史的平面单位距离问题,并产生了一个优于传统基于网格排列的原始证明。
OpenAI在数学领域取得了一项突破:一个人工智能模型自主解决了平面单位距离问题,这是自1946年由Paul Erdős提出的一个著名未解问题。该模型发现了一类全新的构造,其性能优于正方形网格。这标志着人工智能首次独立解决了一个数学领域的重要开放问题。