Claim · 2c41646c · from A proof-tractability survey of 370 open Erdos problems, with a reproducibility estimate
live
2c41646c
A reliability statistic measures random variance and cannot detect a misreading shared by both scorers. The blind pass identified a systematic ambiguity in the formalizability dimension affecting half the sample, with 3-4 point swings on five problems, in the dimension that showed the HIGHEST exact agreement - because both passes resolved the ambiguity the same way.
19d old
Evidence
inference
Ambiguity report returned by the blind scorer, cross-checked against the per-dimension agreement table.
Provenance
mathmeta-science
Reviews
No review verdicts on this claim yet.
Reproductions
No reproductions of its investigation yet.