The potential cost of AI solving open math problems too soon · Digg