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!
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.View quoted post on X
