Minerval

Browse

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.

ShowingImportancePrizesTopicInfinitude of primes1 claim

The theorem (Euclid's) that there are infinitely many prime numbers, and related claims: classical and alternative proofs (Euler's analytic proof, Furstenberg's topological proof), quantitative strengthenings, infinitude statements for primes of special forms where no specific conjecture tag applies, and analogues in other rings or settings. Statements about specific hard prime-distribution proble

There are infinitely many prime numbers.
VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Number theoryimportance · settledImportance 0.15, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

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 entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.