Alan Li

CS PhD @ UT Austin

[Alan Li @ByAlanLi]

Really proud to finally share this with everyone! A year of working with AI has shown me the promise of human-AI collaboration, and the power researchers now have in shaping their respective fields. I’m excited to see where people take this in the future!

[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.

[Alan Li @ByAlanLi]

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.

[Alan Li @ByAlanLi]

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