Comment by liquicity

Why can't it make a judgement grounded in real data points - then the human can accept / deny that proof much quicker?

Surely there's a middle ground / this is faster than reading all papers front to back.