AGI Hunt· xiaosun86·· 3 小时前AI 评分31
Grok 4.7 在 Cursor 里算出球面巡检最短航线的数值候选解
AI 导读
一位用户在 Cursor 中用 Grok 4.7 生成了一条绕单位球面行星飞行的最短航线数值候选解,沿该航线飞行可让球面每一点都进入视野。该问题对应 1992 年提出的 Zalgaller 球面巡检问题(sphere-inspection problem),在一般情况下至今仍是开放问题。此结果只是数值候选,而非严格证明。
来源:AGI Hunt · agihunt.info