⌘ K
… 读取采集状态 同步中...
雷
原文
量子位 QbitAI· 鱼羊·· 16 小时前精选AI 评分85

GPT-6 Astra证明57年「摆圆」难题15至20圆盘情形

刚刚,GPT-6 Astra联手非职业数学家,证明57年「摆圆」 难题

AI 导读

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

推荐理由

还原了GPT-6 Astra证明圆排列最优性的5步方法论及人类辅助环节,展示了AI辅助数学严格证明的工作流。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:量子位 QbitAI · qbitai.com