Provable Quantization with Randomized Hadamard Transform — AI News