Maxwell: A new kind of model that sits between code and hardware

What happened
Maxwell improves code while it runs, adapting to hardware and data. Every improvement is formally proven equivalent to the original code.
Summary assembled by rule from the sources below