Noga Alon Discusses AI in Math and Recently Solved Erdos Problems · Digg