approach0.xyz : offline
searchonmath.com : Gives irrelevant results such as p = m v when searching for F = m a
https://search.mathweb.org/: A collection of abandoned projects and offline sites
I used it a lot in college but never since. Are current college folks still using it?
search tool links: https://www.theoremsearch.com/ (https://arxiv.org/abs/2602.05216) + tagline (Describe a result in natural language, and TheoremSearch finds it across arXiv, the Stacks Project, and more. 70% more accurate than LLM search.)
https://www.theoremsearch.com/theorem-graph (https://arxiv.org/abs/2606.25363) + tagline (A unified statement-level dependency graph spanning both informal and formal mathematics, including 11.7 million arXiv statements linked to Mathlib through a shared embedding space.)
it also exposes an MCP you can see the api and its documentation so it should work with an agent!
As the push to force users onto LLMs, search has plummeted in effectively finding relevant pages. And not just goggle.
Why isn't anyone applying LLMs to interpreting the semantic meaning of the search query, and finding pages that closely match?