This has been an ongoing debate since the computerized proof of the four color theorem fifty years ago.