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

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

Discover 3 novel battery chemistries exceeding 500 Wh/kg theoretical energy density

A founding Grand Problem aimed at high-value downstream simulation Axioms and an integration package.

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 belongs in the marketplace as a decomposition target, not a direct Axiom. The formalizer layer should break it into simulation-checkable materials screens, stability criteria, synthesis-path constraints, and an integration package.

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-0003
Discover 3 novel battery chemistries exceeding 500 Wh/kg theoretical energy density
$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 →