Réfutation de la conjecture quantique de Hedetniemi en construisant des graphes finis explicites où χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, avec des contre-exemples formellement vérifiés dans Lean 4.
@informaq-fr.bsky.socialExplore
@informaq-fr.bsky.social