Regarding checking ever deeper and the cost of verification, some colleagues and I have been looking into ways we might make that cheaper and more reliable across the board. Still early days. I do think tech might provide a serious boost there. (Of course one has to trust the tech and account for errors there!) Historical innovations like wikipedia, libraries, expert communities, citation, replication and so on all benefit us today.
Regarding checking ever deeper and the cost of verification, some colleagues and I have been looking into ways we might make that cheaper and more reliable across the board. Still early days. I do think tech might provide a serious boost there. (Of course one has to trust the tech and account for errors there!) Historical innovations like wikipedia, libraries, expert communities, citation, replication and so on all benefit us today.