Proof Status

Five civilization-scale questions. Each instrument emits auditable proof artifacts — hashed, reproducible, independently verifiable.

Not solvedIn progressYES

P ≟ NP

Can every verifiable problem also be solved quickly?

Not solved
Instrument:
P≟NP Explorer
Last update:
2025-10-25
About this question →

Navier–Stokes

Do smooth solutions exist for all fluid flows?

Not solved
Instrument:
BlowupScout
Last update:
2025-10-25
About this question →

Riemann Hypothesis

Are all nontrivial zeros of ζ(s) on the critical line?

Not solved
Instrument:
ZeroCert
Last update:
2025-10-25
About this question →

Yang–Mills Mass Gap

Why do particles acquire mass in non-abelian gauge theory?

Not solved
Instrument:
QuantumGap
Last update:
2025-10-25
About this question →

Ocean Plastic Breakdown

Can we design compounds that safely depolymerize plastics?

Not solved
Instrument:
PlasticBreakdownPredictor
Last update:
2025-10-25
About this question →

Verification & Certification

Results ship with certificate bundles (CBOR) including code hashes, parameters, and witness files. Anyone can re-run verifiers and reproduce outcomes bit-for-bit.

Verification GuidePublic Repos (coming soon)

What Should We Solve Next?

Suggest the next civilization-scale question to tackle. Your idea will go straight to [email protected].