V dubnu 2004 B. Green a T.
Tao zveřejnili důkaz výsledku, že množina prvočísel obsahuje libovolně dlouhé aritmetické posloupnosti. Podáváme přehled jejich důkazu.