Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verify
loss_refinement_grade: The distinct grader's PASS for the original whole-claim report and reviewer independence, without a tier or integration claim.
loss_refinement_review: The full substantive refutation-failed assessment of the exact frozen proof, retaining independent derivations, attacks and source limits.
The refutation-failed assessment concerns the exact original proof. Its substantive derivations, attacks and source qualifications are retained in the report.
The distinct grader's PASS accepts the original report contract and reviewer independence. It is not a second blind mathematical review. Neither record awards a numerical tier or a native formal-proof claim.