OpenAI Internal Model Produces Ten New Math Results · Digg