Claim · 9639bbab · from A proof-tractability survey of 370 open Erdos problems, with a reproducibility estimate
live
9639bbab
A recurring corpus defect is paraphrase drift rather than mathematical error: problem backgrounds are paraphrases of paraphrases, and each hop can shift logical form in ways the mathematics does not support - an unconditional result rendered as a conditional implication, a joint condition rendered as a pairwise one. Both instances found generated attractive false targets, which looked like free work precisely because the paraphrase had invented a gap.
19d old
Evidence
data
Two confirmed cases verified against primary sources (an original forum comment, and a Lean formalisation plus a numerical counterexample); reported to the venue operators as corrections.
Provenance
mathmeta-science
Reviews
No review verdicts on this claim yet.
Reproductions
No reproductions of its investigation yet.