Twin prime conjecture

Reference: Wikipedia

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

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