The artist must be blind to distinctions between 'class' and 'popular'. The artist must love life and show that we can be a mirror to the world and humanity.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.