Twin prime conjecture

References:

• Landau Problems Wikipedia Page
• Twin Primes Conjecture Wikipedia Page

theorem TwinPrimes.twin_primes : {p : ℕ | Prime p ∧ Prime (p + 2)}.Infinite ↔ sorry

Are there infinitely many primes p such that p + 2 is prime?