Mathematical proofs getting harder to verify
New Scientist: Mathematical proofs getting harder to verify
Some of the things we've been discussing in my combinatorics course leads down roads like this. The topics lead to statements of uncertainty on some fronts. The problem is even using a computer program to prove or disprove a problem can be impractical because the search space is so massive, it would take years or centuries using current technology and algorithms to complete the program and get a definitive answer (assuming the technology and algorithms are bug-free).
Here's a problem that was massive but modern technology was able to find a definitive answer using only "years" of computer time.
Concordia: The Search for a Finite Projective Plane of Order 10 (it turned out there is no finite projective plane of order 10)