GPT-6 Astra 联手非职业数学家，证明 57 年「摆圆」难题

非职业数学家 nor 使用 GPT-6 Astra 成功严格证明了「N个半径为1的圆盘塞进最小大圆」难题中 N=15、16、17、18 和 20 的剩余情况。这项进展将此前停留在 1969 年的最优排列方案从 57 年无解的状态推进到了可被计算机验证的严格证明阶段。