""This technology cuts the mathematical referees out of the verification process," says Hales. "Their opinion about the correctness of the proof no longer matters."
Well, there's a philosophical can of worms. Does a computer's proof count ?
https://www.newscientist.com/article/dn26041-proof-confirmed-of-400-year-old-fruit-stacking-problem/
Refereeing is something most of us wouldn't mind seeing automated...
ReplyDelete