Is Proof Dead?
Data driven pure mathematics?
The presentation of data as an end in itself (yes please).
Computer assisted proof (certainly).
Computer generated proof (maybe). The spell checker model.
What constitutes certainty? Truth vs. probabilistic truth.
There is knowledge without proof (there is also proof without knowledge).