« first day (1809 days earlier)      last day (943 days later) » 

3:55 PM
1
Q: Ultra math search engine

Geon KangDoes anyone know searching engine for arxiv.org math formulas? Like https://www.searchonmath.com and https://approach0.xyz/search/ In my opinion, we should have a search engine that can find formulas for all the journals and eventually all internet to make research progress more efficient.

I think it's helpful and do you know how they made it? Because I'm thinking about creating a new search engine using AI like GPT-3(openai.com/blog/openai-api). — Geon Kang 4 mins ago
@Georg Kang: The author of Approach0 is often present in this chatroom. Also he mentioned being pretty busy right now. In any case, the source code is available on GitHub and I think that he also published some papers related to this project. — Martin Sleziak 18 secs ago
 

« first day (1809 days earlier)      last day (943 days later) »