Wikipedia to Use AI to Help Human Editors Rather Replace Them