QED

[T]here is still room for beauty, suitably defined, but we have to learn to live with the division of labor. We, humans, would do the simple part, and computers will do the complex part. And by “complex”, I do not mean just tedious number crunching. Ninety-nine percent of what mathematicians do today is just one [...]