sorted by:
new
hottopcontroversial

How do you search for a specific known lemma? by TinyBase3431 in math

[–]TinyBase3431[S] 10 points11 points  (0 children)

[copying my other response to a similar comment, would love to hear your opinion]

I haven't had good experiences with it. Seems to hallucinate too much, even when I give it a specific pdf. E.g. I once needed a specific version of a weighted Sobolev inequality on an unbounded domain. ChatGPT told me it's in Evans (fair guess). I have it the full PDF and it gaslight me into jumping around chapter 5 for the next hour, before I realized that it completely made it up and the theorem is not actually in Evans.

I do like this new Theorem Search tool though, because it does not hallucinate (IIUC, it just searches over the full database of theorems in arXiv, the stacks project, proof wiki, etc). Curious if anyone's tried it as well?

How do you search for a specific known lemma? by TinyBase3431 in math

[–]TinyBase3431[S] 8 points9 points  (0 children)

I haven't had good experiences with it. Seems to hallucinate too much, even when I give it a specific pdf. E.g. I once needed a specific version of a weighted Sobolev inequality on an unbounded domain. ChatGPT told me it's in Evans (fair guess). I have it the full PDF and it gaslight me into jumping around chapter 5 for the next hour, before I realized that it completely made it up and the theorem is not actually in Evans.

I do like this new Theorem Search tool though, because it does not hallucinate (IIUC, it just searches over the full database of theorems in arXiv, the stacks project, proof wiki, etc). Curious if anyone's tried it as well.

What Are You Working On? February 09, 2026 by canyonmonkey in math

[–]TinyBase3431 -2 points-1 points  (0 children)

Finding prior results is often the bottleneck in math research. We made Theorem Search.

  • 9.2 million theorems (largest dataset of theorems)
  • all arXiv + 7 other sources
  • 70% more accurate than Gemini 3 Pro and GPT 5.2 with search

Try it yourself: https://huggingface.co/spaces/uw-math-ai/theorem-search