Artificial intelligence accelerates efficient mining of functional peptides