GPT-6 Astra 帮助数学爱好者 nor 证明了五种圆内圆盘装填情形

发生了什么

QbitAI 报道称，数学爱好者 nor 使用 GPT-6 Astra 证明了在圆内装填 15、16、17、18 和 20 个单位圆盘时的最优性，从而完成了 N≤20 的剩余情形。该方法结合了几何约束、有限的计算枚举和精确的最优性论证。nor 表示，过程中有大量人工参与，包括引导模型、修复问题、手动验证有效性，以及使用 Astra 和 Opus 5.5 重新检查结果。

这件事到目前为止

据 QbitAI 报道，数学爱好者 nor 使用 GPT-6 Astra 证明了将 15、16、17、18 和 20 个单位圆盘排列在一个更大圆内的最优性，完成了 N≤20 范围内剩余的案例。问题在于确定每种排列都能装进尽可能小的外接圆。 这种方法结合了几何约束、有限的计算枚举和精确的最优性论证。Nor 表示，过程中有大量人工参与：引导模型、修正问题、手动检查工作的有效性，并使用 Astra 和 Opus 5.5 再次核查。

继续阅读

正在热议

1. 1Meta 开放发布 Muse Spark Open，支持 Mac 和云端部署，位居美国开放权重模型榜首
2. 2Google 在全球推出 Gemini 4 Argon，并扩大付费访问范围，基准测试结果不一
3. 3OpenAI 为 ChatGPT 中的 GPT-6 Astra Pro 带来并行智能体和更快响应
4. 4Meta的新商业条款引发有关网站抓取和 AI 训练权利的争议