In 2019, Shitov has shown a counterexample (Ann. Math, 190(2) (2019) pp. 663-667) to Hedetniemi’s conjecture,
$$\chi(G \times H)=\min(\chi(G),\chi(H))$$ where $\chi(G)$ is the chromatic number of the undirected finite graph $G$.
Shitov counterexample is estimated to have $|V(G)|\approx4^{100}$ and $|V(H)|\approx4^{10000}$. Has there been some effort or progress to reduce the size of the counterexample?