⌘ K
… 读取采集状态 同步中...
雷
热点事件持续更新

GPT-6 Astra证明15-20圆盘排列最优

1 篇报道1 个报道来源14 小时前更新

先了解这件事

AI 综述

非职业数学家nor利用GPT-6 Astra模型，完成了N≤20圆内圆盘严格最优性证明。该模型通过几何约束缩减排列，并利用计算机排除剩余可能性，将此前仅适用于N≤14的证明范围扩展至N=20，解决了持续57年的“摆圆”难题在15至20圆盘情形下的证明。nor在过程中补充了验证和修复工作，展示了人机协作攻克数学难题的新路径。

AI 根据报道生成 · 6 小时前更新

最新进展10月12日 15:48
GPT-6 Astra将圆盘严格最优性证明范围从N≤14扩展至N=20。

报道时间线

沿着报道，了解事件的不同侧面。

10月12日
  1. 量子位 QbitAI精选
    GPT-6 Astra证明57年「摆圆」难题15至20圆盘情形

    非职业数学家nor利用GPT-6 Astra完成了N≤20圆内圆盘的严格最优性证明。模型通过几何约束缩减排列并用计算机排除剩余可能，将证明范围从N≤14扩展至N=20。nor补充了验证和修复工作，展示了人机协作完成数学难题的新路径。

本事件热度走势

当前热度 7·可比范围峰值 8（10月13日 00:00）·近 24 小时可比范围变化 –

0246810月13日00:0010月13日02:0010月13日04:0010月13日06:00

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。