AIに関しては、個々の問題よりも
知識についての考え方に及ぼす影響を論じてほしい
30年前くらいから、「数学に証明は本当に必要か」
という議論がされてきているが、
ビッグデータの解析からまとまった命題を取り出せるのであれば
それが証明できるかどうかより先に問題にすべきことがあるかもしれない。