There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker.