ProseMirror's OT actually gets the example case they use (concurrently editing/deleting a chunk of text) right, because it does think about user intention. It's still not suitable for big merges though. No automatic conflict-resolving system is, because conflicts are going to be too involved, subtle, and human for automatic resolution.