法院文件显示，马斯克主动撤销了此前对OpenAI的诉讼。