"And so solutions to open problems are now being harvested at large scale in an unsustainable fashion, leaving entire fields of mathematics much less fertile than when such problems were solved in the traditional "Math 1.0" fashion."
robots are solving all our math, it's unsustainable! they should tax solving math problems! #keepMathAmerican