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.

1 claim

Claims about whether a mathematical statement said to be from Erdős's open-problem corpus was actually posed by Erdős himself, or is instead a variant, restatement, or catalog entry not due to Erdős (e.g. via erdosproblems.com or other catalogs). Covers counting and classifying solved statements by provenance; excludes claims about the truth of the statements themselves.

Two of the nine Erdős statements AlphaProof Nexus proved are variants of catalog problems rather than problems Erdős posed.

UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →AI-assisted Erdős problem solving AI mathematical discovery DeepMindimportance · settledImportance 0.20, 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.