定理 #91

【Krenn–Gu–Soltész問題の整数版解決と一般定理】 量子情報由来のKrenn–Gu–Soltész未解決問題について、整数版をLeanで解決。さらに複素数版にも適用可能な一般定理「偶数頂点 N≥6 で解が存在するなら、色数 D は N−2 以下」を外部ソルバーを使わずLeanで証明し、複素数版・実数版の複数項目を解決。 — comm. AI for Math の過去会話より — 初出: 2026-07-29 #🎨作ったものを見せ合う空間 発言者: K.Kita Tokyo 分類: math-research 新規性メモ: 既知の可能性大 — Krenn–Gu–Soltész問題は2026年に活発に進展しており、Krennのページには2026-07-23付でLean形式化とd≥nのmonochromatic quantum graph非存在証明（DeepMind AlphaProof Nexus）が記録されている。seedの「N≥6偶数でD≤N−2」という一般定理はこの記録と密接に重なるが、同一の結果か独立の寄与かは公開情報だけでは確定できない。