rfurmani

8 ms·

1.
by rfurmani 2mo ago
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 like a highly interested referee, but we do take mathem
2.
Windsurf employee #2: I was given a payout of only 1% what my shares where worth(twitter.com)
672 points by rfurmani 1y ago|525 comments
3.
by rfurmani 1y ago
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
4.
by rfurmani 1y ago
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 descriptions – all within the 4.5-hour competition time lim
5.
GoogleDeepMind announces official IMO Gold(twitter.com)
1 points by rfurmani 1y ago|0 comments
6.
Show HN: I couldn't find a good AI tool for my research, so I built one(sugaku.net)
2 points by rfurmani 1y ago|0 comments
7.
by rfurmani 1y ago
Only for that particular board, in general it will be very complex and depend on the shape of the colored regions
8.
by rfurmani 1y ago
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 driving to the destination without me. I tried to get a refu
9.
Riemann Hypothesis Project Phase 1(sugaku.net)
2 points by rfurmani 1y ago|0 comments
10.
by rfurmani 1y ago
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://kensbook.com/ ) I was disappointed t
11.
by rfurmani 1y ago
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 and not embed their papers, which mak
12.
Can LLMs help with math research questions?(sugaku.net)
2 points by rfurmani 2y ago|0 comments
13.
by rfurmani 2y ago
I've wanted to but wasn't sure how to keep track of individuals. What works for you? IP Addresses, cookies, something else?
14.
by rfurmani 2y ago
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 restrict most of the dynamic features to
15.
The Disconnect Between AI Benchmarks and Math Research(sugaku.net)
4 points by rfurmani 2y ago|0 comments
16.
The cultural divide between mathematics and AI(sugaku.net)
300 points by rfurmani 2y ago|177 comments
17.
by rfurmani 2y ago
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've learned to understand a lot about problem solving a
18.
by rfurmani 2y ago
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. I've also tried to keep as much as I
19.
by rfurmani 2y ago
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 it had the only english-language proofs of some results by
20.
by rfurmani 2y ago
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 to set up vllm serve ${MODEL_REPO} --dtype auto --api-
21.
Show HN: Tools for Math Research(sugaku.net)
10 points by rfurmani 2y ago|6 comments
22.
by rfurmani 2y ago
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 le
23.
by rfurmani 2y ago
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-liter jug and a 6-liter
24.
by rfurmani 2y ago
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 questions like 1+1 can also be fun sin
25.
by rfurmani 2y ago
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 question: what does it do to m
26.
by rfurmani 5y ago
You're definitely not the only one! We [1] have been in-person in San Francisco predominantly, at first due to visa sponsorship rules, but also due to the energy you get at a fast moving early stage startup, allowing us to scale super
27.
by rfurmani 5y ago
It's not quite so simple, since we are looking at single examples. Alexander was predated by leaders (Cyrus the Great) who ruled in a much more progressive gentle way. Recent history has shown major powers performing very cruelly (ge
28.
by rfurmani 5y ago
Parafin | San Francisco | ONSITE, VISA | https://parafin.com As featured in yesterday's Wall Street Journal: https://www.wsj.com/articles/former-robinhood-employees-laun... Small businesses are the bac
29.
by rfurmani 5y ago
Excited to finally announce and answer question! Also featured in the Wall Street Journal today: https://www.wsj.com/articles/former-robinhood-employees-laun...
30.
by rfurmani 5y ago
Co-founder here. It's been an incredible time to build fintech infrastructure to address the most burning needs of small businesses. We've been able to launch with some incredible partners and have our update at: https:/&#

More ›