OpenAI通用推理模型在著名的80年之久的埃尔德什问题上取得突破。“这标志着人工智能首次自主解决了一个数学领域的核心开放难题”

相关推文内容： “今天，我们分享一个关于平面单位距离问题的突破，这是保罗·埃尔德什（Paul Erdős）于1946年首次提出的一个著名开放问题。近80年来，数学家们认为最佳可能的解决方案大致类似于方形网格。一个OpenAI模型现在推翻了这一信念，发现了一个全新的、性能更优的构造族。这标志着人工智能首次自主解决了一个数学领域的核心开放难题。” “该证明来自一个通用推理模型，而非专门为解决数学问题或这个特定问题而构建的系统，这代表了数学和人工智能社区的一个重要里程碑。” “这一结果指向了更大的图景：人工智能系统正变得能够维持漫长而艰难的推理链条，连接来自不同领域的想法，并揭示研究人员可能尚未探索的路径。我们相信，同样的能力将很快加速生物学、物理学、工程学和医学领域的研究。那个未来仍然依赖于人类的判断。专业知识变得更加宝贵，而非减少。人工智能可以帮助搜索、建议和验证。人们选择重要的问题，解释结果，并决定下一步要研究什么问题。” 推文链接：[https://x.com/OpenAI/status/2057176204541866087](https://x.com/OpenAI/status/2057176204541866087) 博客链接：[https://openai.com/index/model-disproves-discrete-geometry-conjecture/](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) 论文链接：[https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf) 模型思维链精简版链接：[https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf](https://cdn.openai.com/pdf/1625eff6-5ac1-40d8-b1db-5d5cf925de8b/unit-distance-cot.pdf) 配套说明链接：https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf