Erdős problems are now falling to AI systems like ninepins. Google DeepMind researchers have published a paper describing an AI agent that ...