As a former mathematician, I found research to be a very winding path. While that can be fun, I felt there's a lot of opportunity to train LLMs and ML models on the corpus of math papers, to try to make research more deliberate and less reliant on talking to the right person at the right time.

This is very much a work in progress but so far you can:

* Browse through similar papers

* Get recommendations for new papers and collaborators

* Chat with papers and ask questions to all the major reasoning models

* Have it come up with future paper ideas (along with references) giving a potential title or collaborators.

My focus very much is on the exploratory stages since that's where a lot of the time is spent, but I intend to integrate more tools for problem solving, writing, and computation.