For exploring and citing mathematical ideas, SciSpace is a full-featured platform. You can annotate PDFs with highlights and questions that can produce explanations, summaries and even citations. SciSpace also offers tools for creating literature reviews and popular papers in various subjects, and it can create video abstracts and presentation slides. Pricing starts with a free basic version and goes up to a Premium version costing $12 per month, so it's useful for researchers, students and professionals.
Another good option is ChatPDF, which uses AI to help people understand PDFs, including research papers, academic papers and other documents. You can upload a PDF and ask questions, and it'll respond with answers and summaries. It'll also cite sources in the PDF. It can handle multi-file chats, too, and can handle PDFs in any language, so it's good for people working with a global audience.
If you're interested in mathematical theorems, Moogle is a semantic search tool that can help you find them faster in the mathlib4 library. That's potentially useful for researchers, mathematicians and students trying to find the right theorems, and it uses some of the most sophisticated search technology around.