海外来源：量子位 2026-10-12 15:48（北京时间）

数学爱好者借助 GPT-6 Astra 证明 57 年未解的圆盘排列最优性问题

数学爱好者借助 GPT-6 Astra 证明 57 年未解的圆盘排列最优性问题 — 图片：量子位

要点导读

数学爱好者用 GPT-6 Astra 完成证明
解决悬置 57 年的圆盘排列最优性问题
严格证明 N≤20 中剩余五种情形

内容摘要

一位数学爱好者使用 GPT-6 Astra，严格证明了 N≤20 中剩余的 15、16、17、18 和 20 五种情形下的最优排列。

原文来源：量子位（qbitai.com）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。