The computer can only check a finite number of cases computationally, a proof can prove the results for all N.