Viewing profile — rfurmani

I'm one of those two, as mentioned later in the post! As it stands, by mathematical standards, it would be inappropriate for us to be authors on the paper since our role was more l…

Dollars of compute at market rate is what I'd like to see, to check whether calling this tool would cost $100 or $100,000

Sounds like it did not: > This year, our advanced Gemini model operated end-to-end in natural language, producing rigorous mathematical proofs directly from the official problem de…

I went back to some pure math research recently and was looking for tools to help with the exploratory phase: navigating the literature, connecting ideas between fields with very d…

Only for that particular board, in general it will be very complex and depend on the shape of the colored regions

I've had a couple bad experiences with Lyft recently, including one time the driver must have clicked that they picked me up while a block away, because I could see the lyft drivin…

Completely agree on both counts! I loved those two games and felt Conquests of the Longbow didn't get the recognition it deserves. On the second point, when I read his book ( https…

I'm building such tools at https://sugaku.net , right now there's chatting with a paper and browsing similar papers. Generally arXiv and other repositories want you to link to them…

I've wanted to but wasn't sure how to keep track of individuals. What works for you? IP Addresses, cookies, something else?

After I opened up https://sugaku.net to be usable without login, it was astounding how quickly the crawlers started. I'd like the site to be accessible to all, but I've had to rest…

Very cool! This is also one of my beliefs in building tools for research, that if you can solve the problem of predicting and ranking the top references for a given idea, then you'…

That's fair, though there's not much to say since I'm building it out myself as a benefit corporation. I also have strict opt-out for any communications and a proper privacy policy…

The flipside of that is seeing hints of a result that would be really helpful. I still remember how excited I was to stumble on a book from 1931 (The Taylor Series by Dienes) since…

I'm serving AI models on Lambda Labs and after some trial and error I found having a single vllm server along with caddy, behind cloudflare dns, to work really well and really easy…

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 …

Wow, Gemini 2 has a 9 step process for the first question https://sugaku.net/qna/1d922e55-fd28-4c70-b3e9-d70c3a05ce1f/ > Here's how you can get exactly 6 liters of water using a 12…

As for Rs in strawberry, trying a bunch of models side by side only Sky T-1, Gemini 2 Flash got it wrong! https://sugaku.net/qna/792ac8cc-9a41-4adc-a98f-c5b2e8d89f9b/ Simple questi…

Absolutely agree. There's some interesting articles in a recent [AMS Bulletin]( https://www.ams.org/journals/bull/2024-61-02/home.html?activ... ) giving perspectives on this questi…