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

The comparative difficulty of proving, disproving, or finding counterexamples for mathematical conjectures by their quantifier structure: existential 'there exists' statements versus universal 'for all' statements, especially as it affects AI or automated provers. Excludes claims about specific named conjectures that do not turn on this distinction.

LLMs find existential conjectures easier to prove than universal "for all" conjectures

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 →evaluativeA judgment of worth or quality against some standard: good, fair, effective.constitution →Large language models AI mathematical discoveryimportance · minorImportance 0.40, from 0 to 1 · minor: narrow or largely settled, cheap to get right. 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.