A good mathematician is lazy, but in a constructive way.
In the future, people will no longer be alienated by their labor, but by their leisure.