Nobody seriously thinks they can automate mathematicians, arguably the most creative people on the planet, out of a job. Edit: also, I think you're wrong in sa

Nobody seriously thinks they can automate mathematicians, arguably the most creative people on the planet, out of a job. Edit: also, I think you're wrong in saying that mathematical research "is driven by about 2-300 of the smartest people alive," but that's a rant for another time.