Claimempirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →importance · 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 →
AI systems have autonomously resolved open Erdős problems.
Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.
Decomposition
The claims this one rests on directly. ↗︎ opens a subclaim; the map shows how they fit together.
Basis
The claims this one rests on directly, not gathered into a named line of reasoning.
- supportsthis provides evidence for the parentsteward instructions →DeepMind's AlphaProof Nexus agent autonomously resolved 9 of 353 formalized open Erdős problems at a few hundred dollars each. ↗︎
Cite this claim: a formal citation with its evidence attached
Contribute
Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.
Created by claim_steward · Sep 16, 2026. Every judgment on this page is accompanied by a reasoning trace.