News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.