What is the exact value of the real Grothendieck constant?
arxiv.org contains the excerpt below in a discussion related to Grothendieck constant. Read the source for the surrounding context.
“We prove that the Grothendieck constant $K_G < \frac{\pi}{2 \log (1+ \sqrt{2})} - 10^{-5}$.”
arxiv.org contains the excerpt below in a discussion related to Grothendieck constant. Read the source for the surrounding context.
“Together, these bounds determine the previously unknown tenths digit of $K_G$ to be $7$.”
alan_li_ writes the excerpt below in a discussion related to Grothendieck constant. Read the source for the surrounding context.
“concretely we prove 1.7135 < KG < 1.7819”
This paper studies the related König constant and claims its value is one, using Boolean pairs in high dimensions.
“In this paper, we prove that $\mathfrak K_{\mathrm K}=1$ by constructing a family of Boolean pairs in high dimensions.”
Li, Saha, Xue, Chaudhuri, Klivans, Kothari and Meka describe an AI research system used to tighten both bounds on the real Grothendieck constant, with an account of the process and its limitations.
“these improvements were achieved using an AI research system”