Excited AI-assisted breakthrough on the Grothendieck constant! This problem is extremely diverse in applications: from combinatorial optimization to functional analysis to the information capacity of quantum channels!
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.
