研究人员借助AI系统ZiYor证明QPLIB 2096全局最优性
Start here
2026年11月4日，研究人员在arXiv发布成果，借助自进化AI系统ZiYor，通过精确计算证明确认冻结实例QPLIB_2096的全局最小值为7,025,720。该项工作将包含300个二进制变量及25个非凸二次约束的问题重构为集合划分形式，在枚举的245,505个子集中找出了14,981个可行块；同时结合整数对偶价格向量推导匹配下界，最终完成了无需求解器的原始与对偶精确验证。
AI-generated from reports · Updated 12 hours ago
Report timeline
Follow the reports to see different sides of the story.
- arXiv 人工智能通过完全集合划分精确证明 QPLIB 2096 的全局最优性
研究人员借助自进化 AI 系统 ZiYor，通过精确计算证明确认冻结实例 QPLIB_2096 的全局最小值为 7,025,720。该工作将含 300 个二进制变量及 25 个非凸二次约束的问题重构为集合划分形式，在枚举 245,505 个子集中找出 14,981 个可行块。结合整数对偶价格向量推导匹配下界，并完成了无需求解器的原始与对偶精确验证。
Story heat trend
Current heat 7·Comparable peak 10（Nov 4 14:00）·Comparable change, last 24 hours–
Trends compare only the same parties observed continuously, so the scope can be narrower than current heat counts. Move the pointer or tap the chart to see hourly heat; use the left and right arrow keys on a keyboard.