OpenAI en matemáticas