GPT-6 Astra联手非职业数学家证明“摆圆”57年难题数学爱好者nor借助GPT-6 Astra，严格证明了半径为1的圆盘装入最小外圆问题中N=15至18及N=20的最优性，补齐此前仅验证到N≤14和N=19的研究空白

1. 

   科技脉搏

   GPT-6 Astra联手非职业数学家证明“摆圆”57年难题数学爱好者nor借助GPT-6 Astra，严格证明了半径为1的圆盘装入最小外圆问题中N=15至18及N=20的最优性，补齐此前仅验证到N≤14和N=19的研究空白

   5小时前

   

   ×

   

   GPT-6 Astra联手非职业数学家证明“摆圆”57年难题
   
   数学爱好者nor借助GPT-6 Astra，严格证明了半径为1的圆盘装入最小外圆问题中N=15至18及N=20的最优性，补齐此前仅验证到N≤14和N=19的研究空白。证明通过几何约束、有限枚举和刚性分析排除更优排列，但过程仍由人类引导并手动核验。
   
   来源：腾讯新闻

   5小时前