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

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

Build a predictive model for municipal water main failures with 6-month lead time

A founding Grand Problem likely to decompose into benchmark and optimization Axioms around forecasting, ranking, and deployment constraints.

Sponsor · — open sponsor —Listed · 2026-04-04
Total pot
$500K
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 is operationally attractive, but it is still a Grand Problem until the formalizer layer expresses it as concrete, machine-checkable Axioms 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-0004
Build a predictive model for municipal water main failures with 6-month lead time
$500K
— 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 →