The average time for OpenAI's AI to produce each of its 700 mathematical discoveries was three hours