ホットトピック継続更新中
研究人员借助AI系统ZiYor证明QPLIB 2096全局最优性
1 件の報道1 件の報道元13 時間前 更新
まずこの件を把握する
AI 概要
2026年11月4日，研究人员在arXiv发布成果，借助自进化AI系统ZiYor，通过精确计算证明确认冻结实例QPLIB_2096的全局最小值为7,025,720。该项工作将包含300个二进制变量及25个非凸二次约束的问题重构为集合划分形式，在枚举的245,505个子集中找出了14,981个可行块；同时结合整数对偶价格向量推导匹配下界，最终完成了无需求解器的原始与对偶精确验证。
AI が報道をもとに生成 · 12 時間前 更新
最新の進展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 个可行块。结合整数对偶价格向量推导匹配下界，并完成了无需求解器的原始与对偶精确验证。
このストーリーのホット度の推移
現在のホット度 7·比較可能範囲のピーク 10（11月4日 14:00）·直近24時間の比較可能な変化–
トレンドは継続して完全に観測した同じ主体のみを比較するため、現在のホット度の集計より範囲が狭い場合があります。ポインターの移動やタップで1時間ごとのホット度を確認でき、キーボードでは左右の矢印キーで切り替えられます。