Ну вначале просматривают на отсутствие базовых противоречий,а потом перебирают.
Сриниваса Рамануджан Айенгор так раскрутили тупо подбором и не сошлось часть его 100+ с лишним теорем насколько помню.