Tweet · 28 Dec 2016, 14:57 UTC

Replying to @null and @marcosc

My understanding is that there is still a *lot* of resistance from mathematicians to computer-assisted stuff.