Alan Li@ByAlanLi
Aug 14
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
Aug 14
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.
0
1
2
128
Alan Li@ByAlanLi
Aug 14
Replying to @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.
1
0
0
10
Alan Li@ByAlanLi
Aug 14
Replying to @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.
0
0
1
19
Load more