""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/
Sister blog of Physicists of the Caribbean in which I babble about non-astronomy stuff, because everyone needs a hobby
Subscribe to:
Post Comments (Atom)
Review : Human Kind
I suppose I really should review Bregman's Human Kind : A Hopeful History , though I'm not sure I want to. This was a deeply frustra...
-
This is nice video which attempts to solve why the world is sometimes such a crappy place and obvious solutions don't get implemented. I...
-
"To claim that you are being discriminated against because you have lost your right to discriminate against others shows a gross lack o...
-
Three rules for any article on AI : 1) AI does not yet have the the same kind of understanding as human intelligence. 2) There is no guar...
Refereeing is something most of us wouldn't mind seeing automated...
ReplyDelete