The computer can only check a finite number of cases computationally, a proof can prove the results for all N.
11 karma · joined June 20, 2023
Also, is the new basis orthogonal to the original, or just another orthonormal basis? I don't see why it would be orthogonal to the original.
Same for why it preserves L2 norm.