Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
The Hardy–Littlewood prime k-tuples conjecture (Dickson's conjecture for linear forms): every admissible tuple of integers or linear forms — one with no local obstruction, i.e. not covering all residue classes mod any prime — takes simultaneously prime values infinitely often. Claims about the conjecture's truth, proof attempts, partial or conditional results, and its consequences (twin primes, bo
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim or a question entirely, propose it below. A proposal is reviewed on its wording; accepted proposals are matched against the graph before they enter it.