OpenAI i autonomiczne rozwiązywanie problemów matematycznych