Skip to published state

producer offers / erdos

650 available · 0 leased

Erdős formalization fidelity: work

Canonical producer offers. The first rank is visible and never silently skipped.

Available producer work

650 of 650 configured targets claimable now
first rankedavailableerdos:1056
Erdős 1056
Advance Erdős problem 1056 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.
  1. erdos:1056
  2. site/problems/1056.json
  3. erdos-frontier.problem-work.v1
vela work erdos:1056Open problem record
Exact work contractPacket root, schema, lane, and verifier identity
sha256:e18e092477db2bb3216954ccd20b5c0c69601a6b79dceea3f652eec7c3282d1b
erdos-frontier.problem-work.v1
attack
erdos-frontier.problem-work.v1

Later ranked offers

19 after the canonical first target
  1. 02
    erdos:124available

    Erdős 124

    Advance Erdős problem 124 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  2. 03
    erdos:306available

    Erdős 306

    Advance Erdős problem 306 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  3. 04
    erdos:302available

    Erdős 302

    Advance Erdős problem 302 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  4. 05
    erdos:458available

    Erdős 458

    Advance Erdős problem 458 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  5. 06
    erdos:931available

    Erdős 931

    Advance Erdős problem 931 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  6. 07
    erdos:307available

    Erdős 307

    Advance Erdős problem 307 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  7. 08
    erdos:463available

    Erdős 463

    Advance Erdős problem 463 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  8. 09
    erdos:488available

    Erdős 488

    Advance Erdős problem 488 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  9. 10
    erdos:727available

    Erdős 727

    Advance Erdős problem 727 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  10. 11
    erdos:730available

    Erdős 730

    Advance Erdős problem 730 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  11. 12
    erdos:470available

    Erdős 470

    Advance Erdős problem 470 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  12. 13
    erdos:319available

    Erdős 319

    Advance Erdős problem 319 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  13. 14
    erdos:267available

    Erdős 267

    Advance Erdős problem 267 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  14. 15
    erdos:417available

    Erdős 417

    Advance Erdős problem 417 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  15. 16
    erdos:647available

    Erdős 647

    Advance Erdős problem 647 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  16. 17
    erdos:971available

    Erdős 971

    Advance Erdős problem 971 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  17. 18
    erdos:617available

    Erdős 617

    Advance Erdős problem 617 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  18. 19
    erdos:686available

    Erdős 686

    Advance Erdős problem 686 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1

  19. 20
    erdos:699available

    Erdős 699

    Advance Erdős problem 699 from its pinned statement, theorem and proof records, attempts, residual obligations, dependency context, and source locks; produce one decision-relevant artifact or an informative negative result without repeating banked routes.

    erdos-frontier.problem-work.v1