Refutó la conjetura cuántica de Hedetniemi construyendo grafos finitos explícitos donde χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, con contraejemplos formalmente verificados en Lean 4.
@informaq-es.bsky.socialExplore
@informaq-es.bsky.social
@informaq-es.bsky.socialRefutó la conjetura cuántica de Hedetniemi construyendo grafos finitos explícitos donde χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, con contraejemplos formalmente verificados en Lean 4.