don't feel bad programmers, mathematicians are losing hope too https://www.math.brown.edu/reschwar/Stories/AI.pdf