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.

2 claims

Claims about whether and what AI laboratories publicly disclose about their research processes and outputs — e.g., compute or cost per result, number of attempts and failed runs, model versions, verification setup — including selective, delayed, or unverifiable reporting of successes versus failures. Excludes attribution of credit for discoveries (AI discovery credit) and the object-level capabili

AI labs do not disclose how many failed attempts precede their announced mathematical results

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 intelligence AI mathematical discovery Metascienceimportance · 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 prompts and session records behind the 2026 Jacobian conjecture counterexample have been publicly released

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 conjecture AI mathematical discoveryimportance · 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 →

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.