GPT-6 Astra 联手数学爱好者证明 57 年摆圆难题

数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况，此前仅 N≤14 和 N=19 得到验证。