Source labels openPapers · Number theory
Prime Tuples Conjecture
For any k ≥ 2, let a₁,...,aₖ and b₁,...,bₖ be integers with aᵢ > 0. Suppose that for
every prime p there exists an integer n such that p ∤ ∏ i, (aᵢ n + bᵢ). Then there exist
infinitely many n such that aᵢ n + bᵢ is prime for all i.
Source checked Jul 26, 20261 pinned Lean statementInspect problem