AI in proteomics