| Computational experiments have shown that, if a counterexample exists, it would have to have more than 177 vertices. | Вычислительные эксперименты показали, что если контрпример существует, он будет иметь более 177 вершин. |
| P. G. Tait conjectured that all amphichiral knots had even crossing number, but a counterexample was found by Morwen Thistlethwaite et al. in 1998. | П. Г. Тэт высказал гипотезу, что все амфихиральные узлы имеют чётное число пересечений, но Морвен Тислуэйт в 1998 году нашёл контрпример. |
| 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 тому, кто отыщет контрпример, то есть найдет составное число, которое проходит этот тест. |
| If a counterexample is being sought or a large-scale proof by exhaustion is being attempted, distributed computing techniques may be used to divide the calculations between multiple computers. | Если ищется контрпример или нужно произвести доказательство, требующее перебора большого объёма, может быть использована техника распределённых вычислений для распределения вычисления между компьютерами. |
| Two years later, Sergei Adian showed that certain Burnside groups are also counterexamples. | Два года спустя, Адян показал, что определённые Бернсайдовские группы также дают контрпример. |