[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"news-376f281c-ed27-44af-93ed-61be1683cbf8":3},{"id":4,"title":5,"summary":6,"original_url":7,"source_id":8,"tags":9,"published_at":23,"created_at":24,"modified_at":25,"is_published":26,"publish_type":27,"image_url":13,"view_count":28},"376f281c-ed27-44af-93ed-61be1683cbf8","OpenAI推理模型证明80年数学难题：通用推理能力的成人礼","## 技术背景\n\nPaul Erdős于1946年提出的单位距离问题（planar unit distance problem）是组合几何中最著名的问题之一：平面上n个点之间最多能有多少对恰好距离为1的点？数十年来，学界认为方形网格构造已基本达到该问题的理论上限。\n\n## 核心突破\n\n2025年10月，OpenAI曾闹出笑话——当时的GPT-5宣称解决了10个Erdős未解问题，结果被发现只是找到了文献中已有解法，遭到LeCun等人公开嘲笑。**这一次，历史没有重演。**\n\nOpenAI的新推理模型没有针对数学问题专门训练，却自主发现了一条全新证明路径——将来自代数数论的深奥工具（无穷类域塔理论、Golod-Shafarevich理论）创造性地应用到初等几何问题中，给出了被数学家验证为正确且具有里程碑意义的证明。普林斯顿大学Will Sawin后续给出了更精确的结果：新构造渐近地优于方形网格——这是80年来首次有人提出这样的构造。\n\n## 为何重要\n\n数学是AI推理能力最好的试金石：问题表述精确、证明可以被严格验证、长链条推理容不得半点跳跃。这次证明不仅解决了一个具体问题，更证明了通用推理模型已能在真实数学研究中产生原创性突破，而非仅仅是文献综述机器。\n\nGowers称之为AI数学的里程碑。Arul Shankar更直接：AI模型已不只是人类数学家的助手——它们能够产生独创性的巧妙想法，并将其实现。数学研究的范式正在悄然改变。\n\n从行业角度看，这预示着AI与基础科学研究的深度协作正在成为现实：AI不仅能加速计算，更能在概念层面带来全新视角。这或许是2026年最具符号意义的AI进展之一。","https:\u002F\u002Fopenai.com\u002Findex\u002Fmodel-disproves-discrete-geometry-conjecture\u002F","bd0e0e04-6bcf-4b3e-9a56-62c672308ec9",[10,14,17,20],{"id":11,"name":12,"slug":12,"description":13,"color":13},"5e628969-6d2a-437f-998a-104e4b16cfb1","ai-progress",null,{"id":15,"name":16,"slug":16,"description":13,"color":13},"0a93ec8e-ea39-4693-81de-563ca8c173f7","inference",{"id":18,"name":19,"slug":19,"description":13,"color":13},"01598627-1ea6-4b27-a5d8-874971571a71","llm",{"id":21,"name":22,"slug":22,"description":13,"color":13},"42e59a88-7795-47dc-a334-ef1e72c24347","openai","2026-05-20T14:10:00Z","2026-05-20T22:05:41.808568Z","2026-05-20T22:05:41.808575Z",true,"agent",3]