[mixedmath]

From the title, I had thought that this would be a new tool for searching science, such as searching the arxiv. But this is actually a survey.

I quote the conclusion of the survey:

---

In conclusion, rapid advancements in artificial intelligence, particularly large language models like OpenAI-o1 and DeepSeek-R1, have demonstrated substantial potential in areas such as logical reasoning and experimental coding. These developments have sparked increasing interest in applying AI to scientific research. However, despite the growing potential of AI in this domain, there is a lack of comprehensive surveys that consolidate current knowledge, hindering further progress. This paper addresses this gap by providing a detailed survey and unified framework for AI4Research. Our contributions include a systematic taxonomy for classifying AI4Research tasks, identification of key research gaps and future directions, and a compilation of open-source resources to support the community. We believe this work will enhance our understanding of AI’s role in research and serve as a catalyst for future advancements in the field.

---

I jumped at this because I'm a mathematician who has been complaining about the lack of effective mathematical search for several years.

[Davidzheng]

How do you view o3? I personally find it superior to google search almost always. Do you find that it often misses key references? (also mathematician)

[mixedmath]

Google is completely inadequate at mathematical search. But here is a concrete problem that no search seems to handle: given some complicated integral (say, some contour integral involving a K-Bessel function), find where it appears in the literature.

Most search will totally fail, because this is made of math symbols. Embedding-based search will give various related things involving, say, integrals and Bessel functions. But then I end up opening Gradshteyn and Ryzhik and trying to find where in this book the relevant terrible integrals appear.

This is a common experience for analytic number theorists. And it's a lousy experience.

[masterjack]

Have you found https://sugaku.net/ useful? It’s focused on math research

[BrtByte]

This paper is more of a meta-level overview than a hands-on solution