★ 2
ZiYor 自进化 AI 系统完成 QPLIB 2096 最优性精确证明
论文给出 QPLIB_2096 实例全局最小值 7,025,720 的精确计算证明，求解与验证过程由自进化 AI 系统 ZiYor 探索并完善。作者通过集合划分重构与整数对偶价格向量给出原始与对偶见证，并用无求解器校验验证证书。结论仅针对该实例，不外推跨实例性能。
arXiv cs.AI14 小时前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文给出 QPLIB_2096 实例全局最小值 7,025,720 的精确计算证明，求解与验证过程由自进化 AI 系统 ZiYor 探索并完善。作者通过集合划分重构与整数对偶价格向量给出原始与对偶见证，并用无求解器校验验证证书。结论仅针对该实例，不外推跨实例性能。