Hedetniemi's conjecture

Etymology
Formulated by Stephen T. Hedetniemi in 1966.

Proper noun

 * 1)  A conjecture concerning the connection between graph coloring and the tensor product of graphs. A counterexample was found in 2019.