刚刚，GPT-6 Astra联手非职业数学家，证明57年「摆圆」 难题
2026.10.13 · 事件 · AI事件 · 本人发布
数学爱好者用GPT-6 Astra严格证明N=15至18及20的圆盘装填最优解
数学爱好者nor用GPT-6 Astra严格证明了N=15、16、17、18和20的圆盘装填最优解，此前仅N≤14和N=19得到验证。GPT-6 Astra通过几何约束将无限排列缩减为有限情况，再用计算机逐一排除，最终证明经典排列已最优。
- GPT-6 Astra证明N=15、16、17、18、20的摆圆最优解
- 此前仅N≤14和N=19的情况得到严格验证
- 核心思路：几何约束缩减排列，计算机逐一排除
- 证明分5步，含边界推移、角度排除、几何刚性论证
- nor称人类贡献包括引导模型、修复问题、手动验证
为什么值得看
AI辅助数学证明再下一城，57年难题被推进
适合谁关注
关注AI数学能力与AI辅助科研的人