I am one of the first authors of this paper. To summarize our work, the Grothendieck constant (KG) is a fundamental constant in fields like analysis, algorithms

I am one of the first authors of this paper. To summarize our work, the Grothendieck constant (KG) is a fundamental constant in fields like analysis, algorithms, and quantum information, and concretely we prove 1.7135 < KG < 1.7819. The results came from truly novel ideas, and diverged significantly from the previous literature on proving upper and lower bounds. Our results were discovered in collaboration with a long-horizon research harness we built using publicly accessible frontier models, with separate reasoning and coding agents. We found that although AI excels at technical execution, they need deep human insight for research taste–understanding which ideas to pursue or abandon. We’ve documented our research experience as a case study of long-horizon human-AI collaboration; we hope to help shape future conversations around humans and AI in math, in a time dominated by results from large AI companies. Happy to answer any questions about the results or the proofs!