I am stockpiling industrial amounts of popcorn for the (not too distant) future debates around the question: should we take into account the inherently limited capabilities of the human mind when defining the concept of "proof"?

To be sure, myself I am very much a classicist of the old school when it comes to such matters. But this is a brave new world we are slowly but surely moving into.