It's real. And it's live.
This is not a mock-up. The engine that runs this page is the real Elara-Cortex engine. It solves a routing problem in your browser right now, with a verification you can check yourself.
Watch it solve, right now
Watch the engine solve, right now
A capacitated delivery problem, solved live by the production engine. Press re-roll to give it a fresh one.
Every solve returns a verification block that verifies coverage and capacity against the raw routes. The mathematics is solved, not guessed, so you trust the answer because you checked it, not because we said so.
The exact call
The exact call this page just made
POST https://route.elara-cortex.com/v1/demo/solve { "coords": [[depot],[stop],...], "demands": [0,..], "capacity": N } // response, a certificate you re-check with arithmetic { "ok": true, "vehicles": N, "cost": …, "verified": { "coverage": true, "capacity": true, "cost_match": true }, "routes": [[...]] }
Want full size? A free 7-day key opens the keyed engine, up to 1 000 stops with time-constrained and multi-modal routing. Get a key →
Proven, not just live
And it's proven, not just live
Matches the proven optimum
Matches the mathematically proven optimum 5/5 where optimality is provable.
Beats Google's OR-Tools 9/9
Beats Google's OR-Tools 9/9 on the public benchmarks we ran; on time-window tests their solver drops customers where ours serves all. Their solver guesses, ours is solved.
Real airline + city fleets
Ran the actual route networks of 10 of the world's busiest airlines + a live city fleet. See the evidence →
Survived a hostile review
Survived an independent adversarial security review, 6 of 6 attack lines closed by two proof engines.
It's real, it's live, and the proof is yours to check.
Live engine at route.elara-cortex.com · provably optimal where provable · the mathematics is proprietary, the proof is yours to check.