A Breakthrough in Graph Theory [video]
I'd like to know the best known lower bound on graph sizes that disprove the conjecture. Could there be graphs of just a few dozen nodes that disprove it? Has anyone tried to find a counterexample by brute force search?