格罗滕迪克常数的长周期AI研究：人机数学协作的案例研究
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
AI总结：
本研究通过案例探究AI在数学研究中的有效应用，利用AI研究系统将格罗滕迪克常数的最优界收紧，同时分析了AI用于数学研究的优劣势及相关经验。
AI中文摘要：
AI智能体正越来越多地应用于数学研究，但如何有效使用它们往往尚不明确。为此，我们开展了一项广泛的案例研究，探究如何利用AI改进格罗滕迪克常数$K_G$的界，该常数刻画了组合问题与其连续松弛问题之间的难度。具体而言，尽管$K_G$的精确值尚未可知，我们近期将已知最优界收紧为$\frac{6\pi}{11} \le K_G \le \frac{\pi}{2\log(1+\sqrt{2})} - 10^{-4}$。关键的是，这些改进是通过一个AI研究系统实现的，该系统能够得出领域专家认为具有创新性的见解。我们详细讨论了使用AI开展数学研究的经验，尤其涉及其优势与劣势，以及为AI取得突破性见解创造理想条件的相关经验。
英文摘要：
AI agents are increasingly used in mathematics research, but it is often unclear how to use them effectively. Towards this, we present an extensive case study of how AI was used to improve bounds on the Grothendieck constant $K_G$, which captures the hardness between combinatorial problems and their continuous relaxations. Specifically, while the precise value of $K_G$ is not known, we recently tightened the best known bounds to \[ \frac{6π}{11} \;\le\; K_G \;\le\; \fracπ{2\log(1+\sqrt2)} - 10^{-4}. \] Crucially, these improvements were achieved using an AI research system that could arrive at insights deemed novel by domain experts. We give a detailed discussion of our experience using AI for mathematics research, particularly touching upon its strengths and weaknesses, as well as our experience with creating ideal conditions for AI to arrive at breakthrough insights.
