OpenIE · Physical AI Library · Rust
Math-Ground AI
Physical AI that tells you what it just cost.
A Rust library where every call returns a picojoule receipt. Closed-form physics where it exists. Derived safety envelopes. Lyapunov-traced controllers. Anytime-valid verification.
Closed-form · mgai-auto
Safety envelopes are derived. Not trained.
The RSS minimum-following-distance is a function of ego velocity, reaction time, and deceleration capability. Three kinematic parameters. One formula. No training set, no weights, no out-of-distribution failure mode.
Mobileye RSS · Shalev-Shwartz, Shashua 2017
Lyapunov-traced · mgai-control
Controllers prove their own stability.
For every controller, the algebra carries a Lyapunov function that decreases along every trajectory. That’s the proof. No emergent behavior where you needed a guarantee.
Energy accounting · mgai-telemetry
Every call emits a picojoule receipt.
A metered call returns the value and its energy cost at the call site, against a cost model tied to a specific silicon target. You know what the pipeline cost before you ship it to a battery-powered drone.
A 400-step integrated run on a mobile manipulator — RSS safety, DAM-VLA routing, digital-twin divergence — settles around 87.9 J end-to-end.
- RSS safety envelope 37.2 pJ
- DAM-VLA route 6.2 µs · 4.1 pJ
- CAD transition (closed) 1.8 ns · 0.2 pJ
- Diffusion step 11.4 µs · 8.7 pJ
- Verifier (e-value · accept) 0.8 µs · 0.6 pJ
- Per-step total 219.7 pJ
Real physics · cad-future
CAD is the world model. Closed-form.
Parametric mechanics has solved engineering problems for forty years. The planner consumes CAD as ground truth, not as a learned approximation of itself. The planner trees over candidate states with the math doing the simulation.
Composition · verity-cascade
Cheapest tier that clears the bar.
A query enters the cascade at L0 — lookup, picojoule cost. Each tier escalates only if the lower one didn’t suffice. An LLM is the escape hatch, not the default. The router picks the tier whose receipt clears the spec under the budget.
The bar lines are the energy receipts. A small LUT hit is two orders of magnitude cheaper than a small-model inference; that gap is what the cascade exists to spend wisely.
WASM · mgai-viz
It runs in your browser.
The full runtime plus the WebGPU viewer ship in 398 KB of WebAssembly. No cloud, no wait. Joints move, joules tick, the receipt prints client-side.
Lineage · Deep Space 1
Plan. Execute. Diagnose.
NASA flew this architecture in 1999. A constraint planner, a reactive executive with structured fallbacks, a model-based diagnoser that verifies by conflict-directed search. We picked up where they left off.
math ground dot AI