Grok 4.7 在 Cursor 中算出球面巡检问题数值解

该事件围绕 Zalgaller 球面巡检问题：1992 年提出，要求找到一条绕单位球面行星飞行的最短航线，使球面上每一点都能进入视野，一般情况下至今仍是开放问题。2026 年 10 月 3 日，AGI Hunt 报道称，一位用户在 Cursor 中使用 Grok 4.7 生成了一条满足上述条件的数值候选解。报道同时明确指出，这只是数值候选结果，而非严格证明。此前对这一结果的表述同样属于数值解范畴，未出现相互矛盾的说法。截至目前，尚未见该候选解获得严格数学证明或同行验证的报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。