| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| He showed that the conjecture has a counterexample, which he estimated to be around 1.845× 10361. | Гипотеза была опровергнута в 1958 году Хейзелгроувом, показавшим, что существует контрпример, и оценившим его в примерно 1,845× 10361. |
| In 1980 the authors Pomerance, Selfridge, and Wagstaff offered $30 for the discovery of a counterexample, that is, a composite number that passed this test. | В 1980 году Померанц, Селфридж и Вагстафф предложили вознаграждение в размере $30 тому, кто отыщет контрпример, то есть найдет составное число, которое проходит этот тест. |
| It is known through computer searches of Gordon Royle and Klas Markström that any counterexample must have at least 17 vertices, and any cubic counterexample must have at least 30 vertices. | Компьютерный поиск, осуществлённый Гордоном Ройлом (англ.)русск. и Класом Маркстрёмом (Klas Markström) показал, что любой контрпример должен иметь минимум 17 вершин и любой кубический контрпример должен иметь минимум 30 вершин. |
| Two years later, Sergei Adian showed that certain Burnside groups are also counterexamples. | Два года спустя, Адян показал, что определённые Бернсайдовские группы также дают контрпример. |