OpenAI 反例推翻 Erdős 单位距离猜想，论文解读

OpenAI 生成的构造反例推翻了 Erdős 单位距离猜想，该猜想曾认为平面上单位距离对的数量最多为 O(n^{1+c/log log n})。研究者将反例提炼为简洁、可验证的版本，并指出其核心思想可追溯至 Ellenberg-Venkatesh、Golod-Shafarevich 和 Hajir-Maire-Ramakrishna 的工作。这一发现是组合几何领域的重大突破，展示了 AI 在数学发现中的潜力。论文还包含对反例的反思，探讨了 AI 辅助数学研究的未来方向。