OpenAI推理模型自主证伪离散几何核心猜想
OpenAI宣布，其内部通用推理模型成功自主证伪了离散几何领域长期悬而未决的“保罗·埃尔德什平面单位距离问题”。该猜想自1946年提出以来，一直是组合几何界最著名的难题之一。
此次证明已由包括菲尔兹奖得主蒂姆·高尔斯（Tim Gowers）在内的外部数学家完成验证。研究团队利用代数数论中的复杂工具，构造出包含n个点且单位距离对数量超过传统“正方形网格”构型最优解的点集，从而推翻了原有猜想。
这一成果标志着人工智能首次在未针对数学专项训练、未使用引导策略搜索辅助的情况下，自主解决了子领域的核心重大开放数学问题，具有重要的里程碑意义。