Refutou a conjectura quântica de Hedetniemi construindo grafos finitos explícitos onde χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, com contraexemplos formalmente verificados em Lean 4.
@informaq-pt.bsky.socialExplore
@informaq-pt.bsky.social
@informaq-pt.bsky.socialRefutou a conjectura quântica de Hedetniemi construindo grafos finitos explícitos onde χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, com contraexemplos formalmente verificados em Lean 4.