[MadnessASAP]

My interpretation is that they built a simple virtual machine directly into the weights, then compiled a WASM runtime for that machine, then compiled the solver to that runtime.

[YeGoblynQueenne]

That's more or less what I got, also, but it's hard to tell. What a very annoying article, in its vagueness.