Musk's OpenAI IP bid revealed in court filings.