Robust, concrete and abstract, mathematical computation and inference on the scale now becoming possible should change the discourse about many matters mathematical. These include: what mathematics is, how we know something, how we persuade each other, what suffices as a proof, the infinite, mathematical discovery or invention, and other such issues.
Bailey, D. H., & Borwein, J. M. (2015). Experimental computation as an ontological game changer: The impact of modern mathematical computation tools on the ontology of mathematics. In Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics (pp. 25–67). Springer International Publishing. https://doi.org/10.1007/978-3-319-21473-3_3