Rahul Saha

CS PhD @ UT Austin, Prev. Math + CS @ Princeton

[Rahul Saha @rah4927]

@TaliaRinger Ha! We've been thinking about this for a while but can't see how that could be true...but it feels too good to not be true..

[Rahul Saha @rah4927]

@DocOctagonical Yes! The lower bound has not been significantly improved in 40 years, and more importantly the bigger headline that doesn't fit into a tweet is the novel approaches discovered in analyzing higher dimensional algorithms for these problems.

[Rahul Saha @rah4927]

The Grothendieck constant is 1.7...!
We are excited to share this breakthrough on a 70 year-old problem discovered through a year-long human-AI collaboration.
We publish both the math and AI setup because academics should shape AI-assisted research to keep it fundamentally human.

[Rahul Saha @rah4927]

Deeply grateful to all my collaborators who have worked hard on this problem over the last year:@ByAlanLi @AntonXue @swarat @praveshkkothari, Raghu Meka, and Adam Klivans.

[Rahul Saha @rah4927]

We also want to acknowledge the important concurrent work of Steven Heilman, Chris Jones, Giulio Malavolta, and others who have recently pushed the bounds on (K_G). It has been exciting to see so much progress on this old problem at once.

[Rahul Saha @rah4927]

Our papers:
Grothendieck bounds:
https://t.co/Klm58GZzJU
AI for long-horizon mathematical research:
https://t.co/zgJ7WSg514
Would love to hear any thoughts on the math or the research process; don’t hesitate to reach out.

[Rahul Saha @rah4927]

In the spirit of research, we hope that our work will help shape future conversations around humans and AI in math.

[jacksfilms @jacksfilms]

RT if you would die for Yanny
LIKE if you would take a bullet for Laurel

[Rahul Saha @rah4927]

@jacksfilms #jackask how many pitbulls would a pitbull pit if a pitbull could pit bulls ?

[BBC One @BBCOne]

If you’ve been paying attention, you’ll know one of these two WASN’T the killer. Which one?
RT - Michaela.
Like - James.
#SherlockLive