Новое компьютерное доказательство теоремы о четырёх красках

Теорема о четырёх красках получила новое редкое доказательство Задача звучит почти по-детски: можно ли раскрасить любую карту четырьмя цветами так, чтобы соседние области не совпадали? Первое «доказательство» продержалось 11 лет, потом в нём нашли ошибку. Настоящее появилось только в 1976 году — и вызвало почти скандал, потому что значительную часть проверки выполнил компьютер. С тех пор теорему уже доказывали заново, но «болезнь четырёх красок» никуда не делась. В 2026 году группа математиков после почти десяти лет работы получила ещё одно компьютерное доказательство. Причём само оно в некоторых отношениях даже сложнее предыдущих. Но именно по дороге к нему исследователи наткнулись на то, чего раньше в этой задаче не замечали. И в итоге снова доказанная теорема оказалась интересна уже не столько ответом, сколько тем, что удалось увидеть внутри самих графов.