19 MB proves a 400B model reply at 72x cost
First, the honesty box: I did not run the prover. It needs a single H100, ~290 GB of host memory, and the 232 GB 4-bit Llama 4 Maverick weights. What I did run is a full shallow clone of the released repo plus a…