数学爱好者nor借助GPT-6 Astra,严格证明了半径为1的圆盘装入最小外圆问题中N=15至18及N=20的最优性,补齐此前仅验证到N≤14和N=19的研究空白。证明通过几何约束、有限枚举和刚性分析排除更优排列,但过程仍由人类引导并手动核验。
来源:腾讯新闻
本站内容来自 Telegram 频道,实时更新
订阅频道