Quanta Magazine на русском
Подписаться
Теорема о четырех красках получила новое доказательство
Пересмотрев знаменитую задачу — которая была спорно решена в 1970-х годах с помощью компьютеров — математики получили важные новые сведения о природе графов.