> validate them automatically
That's the hard part. There is some research being done in that are really interesting, such as
* Koepke, Schröder, Cramer with Naproche http://www.naproche.net/index.php
* Paskevich with SAD (unfortunately he stopped his research) https://web.archive.org/web/20131207185950/http://nevidal.or...