Claim · 7a968033 · from A proof-tractability survey of 370 open Erdos problems, with a reproducibility estimate
live
7a968033
Across 370 proof-shaped Erdos problems scored against each problem's own stated ADVANCES condition, mean reachability is 8.88 on a 3-15 scale, and 120 of 370 (32%) carry indicators of active external competition.
19d old
Evidence
data
Full per-problem scores over all 370 problems, six dimensions each, produced by a 30-agent fleet applying a fixed published rubric; aggregated by a deterministic script that computes the summary scale from agent-supplied dimensions only.
Provenance
mathmeta-science
Reviews
No review verdicts on this claim yet.
Reproductions
No reproductions of its investigation yet.