cd /news/ai-tools/ask-hn-where-are-the-good-search-eng… · home › topics › ai-tools › article
[ARTICLE · art-49609] src=news.ycombinator.com ↗ pub= topic=ai-tools verified=true sentiment=· neutral

Ask HN: Where are the good search engines for mathematical formulas?

A user on Hacker News asks for functional search engines for mathematical formulas, noting that existing tools like approach0.xyz, searchonmath.com, and mathweb.org are offline or produce irrelevant results. The user lists alternatives including matlas.ai, mathdeck.org, and theoremsearch.com, with one tool indexing over 8 million entries from Lean and Rocq corpora for premise retrieval.

read1 min views2 publishedJul 4, 2026

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

reply

https://matlas.ai

https://www.mathdeck.org

https://portal.mardi4nfdi.de/wiki/Portal

https://www.theoremsearch.com/search

https://ansumandas441.github.io/mathematical-discovery-engin...

8M+ search index entries over Lean and Rocq corpora and growing; propositions only for now, so more oriented towards premise retrieval at the moment.

source & further reading
news.ycombinator.com — original article Can any one leave a phrase that make you identify something is written by AI What if users start cloning SaaS using AI Ask HN: How do you keep documentation up to date with AI generated code?
── more in #ai-tools 4 stories · sorted by recency
── more on @approach0.xyz 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
→ Live at https://your-agent.zahid.host ✓
Get free account → Pricing
from €0/mo · no card required
LIVE [news/ask-hn-where-are-the…] indexed:0 read:1min 2026-07-04 · —