Here's a fascinating look at automated fact-checking and algorithmic math-validation to keep scientists honest in their publication of...