Status
On this page
Status
Topics
Status
On this page
Status
Topics
Are there arbitrarily long arithmetic progressions of primes?
Source: erdosproblems.com/219
An accepted solution exists. The statement is true.
PROVED (LEAN). The label is the site's (PROVED (LEAN), page last edited 4 April 2026; site export of 2026-10-06), with the commentary crediting Green and Tao [GrTa08].