Erdős problem 219 · problems.science

Are there arbitrarily long arithmetic progressions of primes? Solution: yes. Ref: Green, Ben and Tao, Terence, _The primes contain arbitrarily long arithmetic progressions_

Sources

Browse retained paths and inspect the exact material available for this Problem.

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

219.lean

Retained formal statement1 of 6

FormalConjectures/ErdosProblems/219.leanErdos219.empty_not_primeArithmeticProgression1 lineExact file

1∅ ∉ Erdos219.primeArithmeticProgressions

APIStatement only, no proof

Sources

Search problems.science