Maer Sat 1.0 exposes live fleet health, z3 safety proofs, and QPU refinement metrics — an operator console on Zi Humana for combinatorial optimization research by Zi R&D Center.
Zi Humana advances smarter combinatorial decisions through hybrid QAOA sampling, classical refinement, and formal verification under utilisation-aware maritime operations.
Live console for fleet, proof, and QPU refinement.
QAOA sampling · greedy refine · SMT verify.
Liveness, service name, and API version.
z3 safety proof over AIS pairwise distances.
One payload for status, fleet, and quantum runs.
Raw vs refined optimality ratio on superconducting backends.
Formal verification converts empirical quality into a machine-checkable certificate.
Classical greedy repair recovers optimality after NISQ sampling noise.
Verified AIS sample feeds pairwise safety checks in nautical miles.
Same-origin /api/maersat forwards health, fleet, verify, and quantum calls.
Optimise NP-hard outcomes from QAOA, classical refinement, and SMT verification investments.
Same-origin proxy at /api/maersat forwards JSON to the ArgoSea maritime FastAPI backend. Public endpoints: /health, /status, /fleet. Operator endpoints: /verify, /overview, /quantum/runs, /quantum/latest/refined. When the backend is offline, the console falls back to laboratory JSON under /investor-relations/research/combinatorial-optimization/media/.
Maer Sat 1.0 · operations console
Converted from the ArgoSea marine ops console for Zi Humana — API health, z3 safety proof, verified AIS fleet, and QPU refinement history via /api/maersat.
Loading…
Loading…
| MMSI | Lat | Lon | Speed kn | Course |
|---|
| Job | Qubits | Shots | Optimality | Refined | When |
|---|
What's New at Zi Humana — Maer Sat 1.0 API releases, combinatorial optimization research, and hybrid QAOA news.