reminds me of when the four color theorem was proved using a computer program. They had to convince everyone the proof was valid. There were lots of questions about the validity of the program.