Trong lý thuyết số, định lý Green–Tao, chứng minh bởi Ben Green và Terence Tao năm 2004,[1] phát biểu rằng dãy các số nguyên tố có chứa cấp số cộng độ dài bất kì. Nói cách khác, tồn tại cấp số cộng độ dài k gồm toàn số nguyên tố, trong đó k là một số tự nhiên bất kì. Chứng minh là một mở rộng của định lý Szemerédi.