I think that we're now inescapably in an age where the large statements of mathematics are so complex that we may never know for sure whether they're true or false. |
It makes it more human. |
Twenty-five years later we're still not sure if it's correct or not. We sort of think it is, but no one's ever written down the complete proof. |