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