Interesting, to me the biggest project in contemporary[1] mathematics is the work done on theorem provers. The goal being not to be able to prove new things aut

Interesting, to me the biggest project in contemporary[1] mathematics is the work done on theorem provers. The goal being not to be able to prove new things automatically, but to check all existing proofs automatically and make it possible for mathematicians to do their work using those tools. We are still far from those goals (it is a big project for a reason) but the work of professional mathematicians could look very different in a hundred years if those efforts succeed. [1]: And the distinction between contemporary and modern might be relavant.