объявили, что они доказали теорему. Потребовалось более 1200 часов на проведение расчетов и было проведено 10 миллиардов элементарных операций на вычислительной машине, чтобы перебрать все возможные варианты для 1478 типов карт. Оглашение этого результата имело эффект разорвавшейся бомбы в математическом сообществе. Можно ли доверять этому новому типу «доказательств»? Можем ли мы принять действительность доказательства такой длины, которое ни один человек