AI 提出猜想仅 36 小时，GPT 5.6 率先找出反例

teortaxesTex · x · 2026-08-06

用户使用 GPT 5.6 Sol 成功为一个图李代数猜想找到了反例。值得注意的是，该猜想本身非常年轻（仅提出 36 小时）且最初也是由 AI 生成的。

发帖者认为，尽管目前可能鲜少有人关注这一具体案例，但在未来，这种「AI 提出猜想并自我证伪或求证」的工作流将占据数学研究的很大比例。

原文链接 →

「研究」频道最新

• 南大提出 AVE-Compass：专测音视频协同编辑的全新基准 — NJU-LINK · 2026-08-06
• Kimi K3 架构深度解析：2.8T 参数与 LatentMoE 细节揭秘 — AxSaucedo · 2026-08-06
• NBER论文：近两成职场人篡改履历，AI技能提及激增 — steverathje2 · 2026-08-06
• Nature 重磅：绘制人类转录因子 DNA 结合特异性扩展图谱 — anshulkundaje · 2026-08-06
• 《百页语言模型书》发布：用PyTorch从零构建LLM — burkov · 2026-08-06
• 《百页语言模型书》暗黑版发布，手把手教你构建LLM — burkov · 2026-08-06

更多「研究」频道 AI 资讯 →