Widerlegte die Quantum-Hedetniemi-Vermutung durch die Konstruktion expliziter endlicher Graphen, wobei χ_q(G×H)≤1538<1539=min{χ_q(G),χ_q(H)}, mit formal verifizierten Gegenbeispielen in Lean 4.

#Quantengraphtheorie #MathematischePhysik #Forschung