Re:Category theory is a universal modeling language
by creata on Thursday April 29, 2021 @11:03PM
(#26989474)
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.
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.