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.
ShowingImportancePrizesTopicMachine insight versus memory
Whether AI systems' performance on intellectual tasks stems from encyclopedic knowledge, memorization, pattern matching, patience, or brute-force search rather than genuine insight, understanding, or novel reasoning — often argued in comparison with human cognition. Covers the mechanistic basis of observed AI capability; excludes benchmark contamination specifically and productivity effects of AI
AI-produced solutions concentrate on Erdős problems because of the database's disproportionate attention, not field-specific model ability.
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 →causalA claim that one thing brings about another, not merely that the two go together.constitution →AI-assisted Erdős problem solvingAI mathematical discoveryimportance · minorImportance 0.35, 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 →
Large language models perform better on elementary, self-contained mathematical problems than on problems requiring extensive theoretical background.
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 · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Large language modelsAI mathematical discoveryimportance · minorImportance 0.35, 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 →
Frontier AI models produce novel mathematical results through reasoning comparable to a human mathematician's rather than brute-force search
ContestedCredible evidence or argument exists on multiple sides.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →AI mathematical discoveryLarge language modelsArtificial intelligenceimportance · notableImportance 0.55, from 0 to 1 · notable: a contested point in a live debate (also the default before judging). Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Reasoning and search are meaningfully distinct modes of problem solving in large language models
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 · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Large language modelsReasoning versus search in LLMsimportance · 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 →
AI models' mathematical advantage over human mathematicians comes from encyclopedic knowledge and patience rather than deeper insight
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 · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Artificial intelligenceAI mathematical discoveryimportance · notableImportance 0.45, from 0 to 1 · notable: a contested point in a live debate (also the default before judging). Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Published chain-of-thought records of AI mathematical discoveries show goal-directed strategy rather than exhaustive enumeration
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 · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Artificial intelligenceAI 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.