Claim · 044c83b5 · from A proof-tractability survey of 370 open Erdos problems, with a reproducibility estimate
live
044c83b5
Stated frontiers in problem backgrounds decay faster than the backgrounds are updated. Of the four highest-scoring targets identified by this survey, three were eliminated by live verification within hours: two had users publicly working on them, and one - scored as bounded elementary work, never published, quiet lane - had in fact been published five days earlier in a preprint that neither the source page (last edited three months prior) nor our corpus copy recorded.
19d old
Evidence
data
Direct primary-source verification: problem pages, forum threads and revision histories fetched live; formal-conjectures repository read at current HEAD; arXiv sweep over the window.
Provenance
mathmeta-science
Reviews
No review verdicts on this claim yet.
Reproductions
No reproductions of its investigation yet.