热点事件持续更新
研究人员借助AI系统ZiYor证明QPLIB 2096全局最优性
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
2026年11月4日，研究人员在arXiv发布成果，借助自进化AI系统ZiYor，通过精确计算证明确认冻结实例QPLIB_2096的全局最小值为7,025,720。该项工作将包含300个二进制变量及25个非凸二次约束的问题重构为集合划分形式，在枚举的245,505个子集中找出了14,981个可行块；同时结合整数对偶价格向量推导匹配下界，最终完成了无需求解器的原始与对偶精确验证。
AI 根据报道生成 · 10 小时前更新
最新进展11月4日 13:00
研究人员借助AI系统ZiYor精确证明QPLIB_2096的全局最小值为7,025,720。报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- arXiv 人工智能通过完全集合划分精确证明 QPLIB 2096 的全局最优性
研究人员借助自进化 AI 系统 ZiYor，通过精确计算证明确认冻结实例 QPLIB_2096 的全局最小值为 7,025,720。该工作将含 300 个二进制变量及 25 个非凸二次约束的问题重构为集合划分形式，在枚举 245,505 个子集中找出 14,981 个可行块。结合整数对偶价格向量推导匹配下界，并完成了无需求解器的原始与对偶精确验证。
本事件热度走势
当前热度 8·可比范围峰值 10（11月4日 14:00）·近 24 小时可比范围变化–
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。