As of 2016 the counterexample has not been verified. Подлинный текст 1222 г. до нас не дошёл.
In 2013, Nicolas Monod found an easy counterexample to the conjecture. В 2012 году Николас Монод нашёл простой контрпример к гипотезе.
However, Joseph Horton provided a counterexample on 96 vertices, the Horton graph. Однако Джозеф Хортон нашёл контрпример с 96 вершинами, граф Хортона.
The Errera graph, on the other hand, provides a counterexample to Kempe's entire method. Граф Эрреры, с другой стороны, даёт контрпример полному методу Кемпе.
It was only later that he found the first counterexample, , with k = 16. Несколько позднее он нашел первый контрпример, , с k = 16.
On the other hand, if the conjecture is false, K1,2,2,2 would necessarily be its smallest counterexample. С другой стороны, если гипотеза не верна, K1,2,2,2 будет минимальным контрпримером.
Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин.
A counterexample near 1018 would require a prime gap fifty million times the size of the average gap. Контрпример около 1018 должен иметь промежуток в пятьдесят миллионов раз больше среднего промежутка.
It is a small graph that serves as a useful example and counterexample for many problems in graph theory. Это достаточно простой граф, используемый в качестве примера и контрпримера для многих задач в теории графов.
This provides the first torsion free finitely presented counterexample, and admits a presentation with 3 generators and 9 relations. Последний пример является первым примером без кручения, он допускает задание с тремя образующими и девятью соотношениями.