I am Rafik Zeraoulia, a mathematics researcher and part-time lecturer at Abbes Laghrour University, Khenchela, Algeria. My work spans mathematical analysis, dynamical systems, and AI-assisted research. I have resolved open mathematical conjectures with AI assistance, retaining responsibility for verifying the proofs and conclusions. I have also contributed computational investigations and partial results toward Erdős problems, including Problems #458 and #273 and #580..... My interests include reliable AI reasoning, mathematical verification, and accessible workshops on responsible AI use in modern science.