[Перевод] Теорема о четырёх красках получила новое редкое доказательство

Перевод материала о новом редком доказательстве теоремы о четырёх красках — одной из самых известных задач математики, которая формулируется буквально в одну строку, но десятилетиями не поддавалась полному аналитическому доказательству.

Исторически теорема была доказана с помощью компьютера, что вызвало споры о природе математического доказательства. Новое доказательство — редкое событие, которое снова поднимает вопрос о том, что считать строгим обоснованием в эпоху вычислительных методов.

Для профессионалов кино это может показаться далёким, но тема напрямую касается визуализации, картографии и алгоритмов раскраски, которые используются в графике и анимации. Полный разбор — на Хабре.