发表机构
Harvard T.H. Chan School of Public Health（哈佛陈曾熙公共卫生学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
该研究通过区间算术严格验证，将复 Grothendieck 常数下界提升至 1.35584631827168，缩小了 Davie 与 Haagerup 界限间超四分之一的差距，并由 AI 智能体 Odin 自动发现。
AI 中文摘要
我们证明了经典复 Grothendieck 常数满足 $K_G^{\mathbb{C}}>1.35584631827168$，从而缩小了 Davie 下界与 Haagerup 上界之间超过四分之一的差距。证明的数值部分通过区间算术严格验证。该下界及其证明由 Odin 自动 AI 研究智能体发现。
英文摘要
We prove $K_G^{\mathbb{C}}>1.35584631827168$ for the classical complex Grothendieck constant, closing more than one quarter of the gap between Davie's lower bound and Haagerup's upper bound. The numerical part of the proof is rigorously verified by interval arithmetic. The lower bound and the proof were discovered by the Odin Automatic AI Research Agent.
