A human-AI team reports new bounds on the Grothendieck constant, 6π/11 ≤ K_G ≤ π/(2 log(1+√2)) - 3.47e-4, crediting an AI model with the core idea for the lower bound.
The Grothendieck constant is strictly smaller than Krivine's bound
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We prove that $K_G<\frac{\pi}{2\log(1+\sqrt{2})}$, where $K_G$ is the Grothendieck constant.
fields
cs.AI 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
A human-AI team reports new bounds on the Grothendieck constant, 6π/11 ≤ K_G ≤ π/(2 log(1+√2)) - 3.47e-4, crediting an AI model with the core idea for the lower bound.