OpenIE · Physical AI Library · Rust
Math-Ground AI.
Physical AI that tells you what it just cost.
cargo add mgai-algebra mgai-core mgai-vlaThe wound
Language AI rose on the internet of words.
But the world isn’t made of words. It’s made of forces, motion, sensors, and joules.
The job
Physical AI answers to the world — every frame.
A robot that doesn’t respect physics crashes. A drone that doesn’t respect energy dies. A car that doesn’t respect safety kills.
The discipline
Every primitive, closed-form.
Every safety envelope, derived. Every controller, traced to its Lyapunov function. No emergent behavior where you needed a proof.
The receipt
Every call emits a picojoule receipt.
You know what your pipeline costs before you ship it to a battery-powered drone. Not after.
A 400-step integrated run on a mobile manipulator — RSS safety, DAM-VLA routing, digital-twin divergence — settles around 87.9 joules end-to-end. The receipt below is one of those steps.
- 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
The shape
Eighty primitives. One workspace.
Safety feeds auto feeds fleet. Perception feeds world-model feeds plan. All grounded. All metered. One cargo add.
The reach
It runs in your browser.
WebGPU. Under four hundred kilobytes. Joints move. Joules tick. No cloud, no wait.
The lineage
NASA’s Deep Space 1 flew this architecture in 1999.
Plan, execute, diagnose. Verify by conflict, not per-claim guess. Anytime semantics. Decisions reported with provenance. We picked up where they left off.
math ground dot AI
Built on math.
For the physical world.
cargo add mgai-algebra mgai-core mgai-vla