Știai că orice hartă poate fi colorată cu doar patru culori, astfel încât două țări vecine să nu aibă niciodată aceeași culoare? Această afirmație, numită teorema celor patru culori, a fost prima mare teoremă demonstrată cu ajutorul calculatorului, în anul 1976. Verificarea a necesitat analizarea a sute de configurații, ceva imposibil de făcut doar cu creionul.
Matematică