数学爱好者用 GPT-6 Astra 严格证明 57 年"摆圆"难题 N≤20 全部情形

数学爱好者 nor 使用 GPT-6 Astra，将 1969 年提出的"将 N 个半径为 1 的圆盘塞入最小半径大圆"这一 57 年未解数学难题，严格证明推进到 N≤20 的全部情形（15、16、17、18、20），此前仅 N≤14 和 N=19 已获验证。