The proven training computation uses fixed point

Kaizen proves its fixed-point training computation. The training algorithm and specifications, including architecture and batch size, are public (S-1110).