certified
erdos15-erdos-15
Published by conjectures.io.
- Bounty paid
- $2,658
- Verified
- 5 Aug 2026
- verifier validato
- Attribution
- conjectures.io
Review decision
- Decision code
- FORMALIZATION_DEFECT_AWARD
Formal statement
Verification report
- Manifest validpassed
- Task commitment matchespassed
- Production taskpassed
- Production sandboxpassed
- Source type hash matchespassed
- Trusted file hashes matchpassed
- Submission policy respectedpassed
- Challenge builtpassed
- Solution builtpassed
- Statement unchangedpassed
- Only permitted axiomspassed
- Lean kernel acceptedpassed
- Nanoda enablednot passed
- Nanoda acceptednot passed
Stage COMPLETED · Checked in 1 min 23 s · Sandbox landrun+seccomp · Axioms permitted: propext, Quot.sound, Classical.choice
Provenance
- Task bundle
- sha256:dc25fd2c54bc637253031ba75871259f4453164396fcc445646e02ccd230e6ce
- Report digest
- sha256:ae23dd09cff9f6fe29caeb5dba35e01b0216281cf1562ae321c46b67023dfe4a