Coding theorists reportedly already solved an OpenAI-listed problem · Digg