69%команд взяли этот вопрос на реальных турнирах, играло 45
Доказательство гипотезы четырех красок, найденное в 1976 году, считается первым в математике прецедентом неклассического доказательства, то есть доказательства при помощи НЕГО. Назовите ЕГО одним словом.
компьютер.
доказательство гипотезы сводится к очень большому, но конечному перебору различных случаев. Неудивительно, что лучше человека справились даже компьютеры того времени.