Minerval

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.

ShowingImportancePrizesTopicDeepMind4 claims

Google DeepMind, the AI research lab, and the systems it builds (e.g. AlphaGo, AlphaFold, AlphaProof, AlphaEvolve) and their capabilities. Claims attributing a result, capability, or failure to a DeepMind system belong here; claims about other labs' systems do not.

DeepMind's AlphaProof Nexus agent autonomously resolved 9 of 353 formalized open Erdős problems at a few hundred dollars each.
SupportedEvidence favors the claim, but the chain is incomplete or the sources are secondary.constitution →empirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →AI-assisted Erdős problem solvingAI mathematical discoveryFormal proof verificationimportance · 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 →
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 solvingAI mathematical discoveryErdős statement provenanceimportance · 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 →
The only human mathematical contribution to AlphaProof Nexus's Erdős problem proofs was formalizing the problem statements.
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 solvingAI mathematical discoveryFormal proof verificationimportance · 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 →
The nine Erdős problem statements proved by DeepMind's AlphaProof Nexus agent were unresolved in the mathematical literature when proved.
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 solvingAI 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.