CS PhD @ UT Austin, Prev. Math + CS @ Princeton
Joined January 2017
- Tweets17
- Following89
- Followers453
- Likes1.7K
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.
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.
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.
In the spirit of research, we hope that our work will help shape future conversations around humans and AI in math.
Our papers:
Grothendieck bounds:
arxiv.org/abs/2608.11158
AI for long-horizon mathematical research:
arxiv.org/abs/2608.11195
Would love to hear any thoughts on the math or the research process; don’t hesitate to reach out.
Rahul Saha retweeted
If you’ve been paying attention, you’ll know one of these two WASN’T the killer. Which one?
RT - Michaela.
Like - James.
#SherlockLive
