Комментарий:Для доказательства теоремы из бУлевой проблемы о пифагоровых тройках,
ученые совершили полный перебор всех возможных комбинаций, что и дало
такой огромный объем данных. Несмотря на то что доказательство было
осуществлено не классически, на бумаге, а при помощи перебора, на
конференции SAT 2016 оно было признано лучшей работой.