En mathématiques, le théorème de Szemerédi est la conjecture d'Erdős-Turán démontrée par Endre Szemerédi en 1975.