RecodeX 重构消息，一名长期研究数学与优化算法的技术作者nor借助GPT-6 Astra，对“将N个半径1的圆盘装入最小大圆”这一经典问题给出严格证明，一次性覆盖N=15、16、17、18和20五种此前未解决的情形。此前学界仅严格验证了N≤14以及N=19的情况。

该问题的排列方案早在1969年由Udo Pirl等人推进，但证明其最优性长期停滞。GPT-6 Astra的思路是先用几何约束把无限多种排列缩减为有限情形，再通过计算机枚举与几何刚性论证排除更优解，最终证明经典排列即为最优。nor表示，人类贡献包括确定可行性、引导模型、修复细节并手动验证结果。