AI and Humans Tackle Prime Number Mysteries · Digg