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.
ShowingImportancePrizesTopicAI discovery credit
Claims about whether credit, recognition, or attribution for discoveries and inventions belongs to the AI system, its developers, its users, or collaborating humans — covering scientific credit norms, authorship, and inventorship for AI-generated or AI-assisted results. Excludes AI capability or productivity claims that do not turn on who merits credit.
Claude Fable 5 generated the polynomial map used as the 2026 Jacobian conjecture counterexample
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Jacobian conjectureAI 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 →
Levent Alpöge defined and steered the 2026 Jacobian counterexample search, with Claude Fable 5 generating candidates
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 →Jacobian conjectureAI 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 →
The 2026 counterexample to the Jacobian conjecture was discovered primarily by an AI system
ContestedCredible evidence or argument exists on multiple sides.constitution →empirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →Jacobian conjectureAlgebraic geometryAI mathematical discoveryimportance · 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 →
OpenAI's Navier-Stokes singularity proof depended essentially on Córdoba and Martínez-Zoroa's layered-cascade strategy
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 →Navier-Stokes singularityOpenAIimportance · 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 →
The published OpenAI unit distance manuscript is a human-edited exposition of the model's raw output, with references and explanatory material added afterward
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 →OpenAIErdős unit distance conjectureAI mathematical discoveryimportance · 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 →
OpenAI's unit distance paper adequately cites closely related prior ideas in the literature
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 →OpenAIAI-assisted Erdős problem solvingErdős unit distance conjectureimportance · minorImportance 0.25, 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 →
An AI model that generates a verified mathematical result under human direction merits primary discovery credit
ContestedCredible evidence or argument exists on multiple sides.constitution →normativeA claim about what should be done or how things ought to be, settled by argument rather than evidence alone.constitution →Artificial intelligenceMathematicsimportance · notableImportance 0.50, 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 →
US and UK courts have held that an AI system cannot be named as an inventor on a patent
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 →AI governanceimportance · 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 →
Computer programs that produce mathematical results are conventionally credited as methods, with discovery credit going to the humans who designed and directed them
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 →Metascienceimportance · minorImportance 0.30, 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 tools cannot meet the requirements for scholarly authorship because they cannot take responsibility for the work
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 →Metascienceimportance · 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 →
Primary discovery credit belongs to whoever frames the problem and directs the search rather than to whatever produces the solution
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 →importance · notableImportance 0.50, 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 →
Discovery credit can meaningfully be attributed to a non-human AI system
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 intelligenceimportance · 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 →
Levent Alpöge publicly credited Claude Fable 5 with finding the Jacobian conjecture counterexample
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 →Jacobian conjectureClaude Fable 5Levent Alpögeimportance · 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.