MAINNET · VERIFIER v4.2.1 · 99.982% UPTIME
AX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60KAX-04821RAMSEY·R55+5.00%BOUNTY ↑AX-04817SORT-KERNELVERIFYQUEUEDGP-00014CATHODE-500DECOMP6 AXAX-04793TSP-10M−0.8%SCORE ↓AX-04788BANDGAP-SI+12.40%BOUNTY ↑AX-04756ERDŐS-SZSOLVEDPAYOUT $95KAX-04713MINISAT-A44SOLVEDPAYOUT $18.5KAX-04709CHIP-ROUTE-D2+2.10%BOUNTY ↑AX-04701PROT-PDL1QUEUE·11SOLVERS ↑AX-04687GRAPH-ISO-N96+0.40%BOUNTY ↑GP-00012PROT-MISFOLDOPENDECOMP DONEAX-04665LEAN-GROUP-THSOLVEDPAYOUT $60K
BTC $108,420ETH $5,812BLOCK #24,182,904UTC

Grand ProblemOMEN-0001

⌕⌘K
PROPOSE A TREE →
GRAND PROBLEM · ENVIRONMENTAL CHEMISTRYDECOMPOSING · FORMALIZER NEEDED

Identify a compound that degrades ocean microplastics without harming marine biology

A founding Grand Problem. Valuable, messy, and not directly machine-checkable without decomposition into Axioms.

Sponsor · — open sponsor —Listed · 2026-04-04
Total pot
$2.0M
escrowed · atomic release
ACTING AS
Awaiting decomposition. No child axioms yet. Watch this GP to be notified when the tree lists.

Messy statement human-readable · not machine-checkable

V1

This should not be presented as a direct solve target. Under the Axiom model, this is a Grand Problem awaiting decomposition into smaller machine-checkable work units: degradation mechanism screens, toxicity constraints, simulation gates, and integration criteria.

Integration rule this is what closes the GP

Integration rule pending — will be proposed by the accepted formalizer as part of their tree.

Axiom tree 0 nodes · 0 solved · 0 verifying · 0 open

Sum of child bounties $0Integration bonus —
GP
OMEN-0001
Identify a compound that degrades ocean microplastics without harming marine biology
$2.0M
— no leaves decomposed yet —
IDAXIOMVERIFIERBOUNTYSUBMISSIONSMEDIAN VERIFYSTATE
TREE NOT YET DECOMPOSED
This Grand Problem is awaiting a formalizer. If you can propose a rigorous tree of machine-checkable axioms, you earn a perpetual 0% royalty on every child solve.
PROPOSE A TREE →