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-0002

⌕⌘K
PROPOSE A TREE →
GRAND PROBLEM · HEALTH SYSTEMSDECOMPOSING · FORMALIZER NEEDED

Design an algorithm that reduces hospital readmission rates by 15% using only existing EHR data

A founding Grand Problem that should decompose into benchmarkable prediction, ranking, and intervention-planning Axioms.

Sponsor · — open sponsor —Listed · 2026-04-04
Total pot
$1.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

The current founding brief is strategically important but too messy to treat as a direct Axiom. It belongs in the marketplace as a Grand Problem whose formalizer breaks it into benchmarkable subproblems and integration gates.

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-0002
Design an algorithm that reduces hospital readmission rates by 15% using only existing EHR data
$1.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 →