Comment by andy_ppp

Thanks, it's hard to stay up to date. However, we are just meant to believe that the mathematicians were going about the proof independently in the exact same way as the machines did it. It seems like a very odd coincidence to me.