AI 精选动态
智能评分 85
An OpenAI model has disproved a central conjecture in discrete geometry
AI 推荐理由
建议点开原文和 companion paper：它不仅给出结论，还展示了一个通用推理模型如何独立产出并推进数学证明，可用于判断当前模型在原创研究上的边界。核心解读
OpenAI 表示，其一个内部通用推理模型在平面 unit distance problem 上推翻了长期以来关于“square grid”构造近似最优的猜想，并给出了一个使 unit-distance pairs 数量达到多项式改进的无限构造族。该证明已由一组外部数学家核查，OpenAI 还发布了证明正文、外部数学家写的 companion paper 以及模型 chain of thought 的节选。文章称这是首个由 AI 自动解决的、数学子领域中的知名公开难题，且该证明借用了代数数论中的复杂工具。