Green-Tao teoremi, asal sayılar dizisinde her uzunlukta aritmetik ilerleme bulunabileceğini gösterir. Ben Green ve Terence Tao tarafından 2004'te kanıtlanan bu teorem, Szemerédi teoremini asal sayılara uyarlayarak örneğin 3, 5, 7 gibi üç terimli veya çok daha uzun dizilerin asallar içinde var olduğunu ortaya koyar. Bu fikir, 1770'lerde Lagrange ve Waring'in çalışmalarına kadar uzanan bir problemi çözmüştür.