AI 辅助破解凸优化难题
Cu3PO42 · hn · 2026-07-17
一篇文章声称，GPT-5.6 Sol Pro 在 AI 辅助下解决了一个凸优化领域的开放问题，且该问题据称已存在约 30 年。帖子指向的是一篇讲述这一突破的长文。
「研究」频道最新
- 斯坦福数据中心化 AI 研讨会开放报名，海报截止延期 — jure · 2026-10-26
- Hugging Face 六个月 Training Agents 系列收官，全部录像与代码开源 — SergioPaniego · 2026-10-26
- 「氛围验证」研究：近 60% 的形式化证明证明的不是作者本意 — basedjensen · 2026-10-26
- 浏览器助手 Ito 读懂浏览意图，自动把标签页编排成 Flows — andrewkuznet · 2026-10-26
- 康奈尔研究称大脑按线性序列处理语言,挑战乔姆斯基层级语法;印度语言成反例讨论点 — anirbanbandyo · 2026-10-26
- Hi3D V1.0 开源发布：训练资产翻四倍，切片成功率 90% — kimmonismus · 2026-10-26