ZiYor完成QPLIB 2096最优性证明
热点事件持续更新
ZiYor完成QPLIB 2096最优性证明
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
Jingyang Du、Zixiong Yi、Yang Shen 发表论文称，自进化 AI 系统 ZiYor 对冻结的 QPLIB_2096 实例给出精确计算证明，确认其全局最小值为 7,025,720。 该方法将问题重构为集合划分形式，枚举 245,505 个子集得到 14,981 个可行块，并用整数价格向量构造对偶下界。作者强调，这只是单个实例的最优性证明，带有精确的原始与对偶见证，不涉及跨实例性能结论。
AI 根据报道生成 · 4 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
11月4日
- arXiv · cs.AI自进化 人工智能（AI，Artificial Intelligence） 系统 ZiYor 完成 QPLIB 2096 精确最优性证明
自进化 人工智能（AI，Artificial Intelligence） 系统 ZiYor 给出 QPLIB_2096 实例的精确计算证明，确认其全局最小值为 7,025,720。该方法将原问题重构为集合划分形式，枚举 245,505 个子集得到 14,981 个可行块，并用整数价格向量构造对偶下界。作者强调这只是单个实例的最优性证明，不涉及跨实例性能结论。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1011月4日 14:00
- 近 24 小时变化
- –
02.557.510
14:0015:0016:0017:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。