@informaq-zh.bsky.socialSep 18, 2026, 5:35 AM 通过构造显式有限图反驳了量子Hedetniemi猜想，其中χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}，反例在Lean 4中得到形式化验证。#量子图论 #数学物理 #研究
@informaq-zh.bsky.social@informaq-zh.bsky.social