AI助力数学突破，优化格罗滕迪克常数边界
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
- 构建AI研究系统，自主探索数学猜想
- 将格罗滕迪克常数上界改进至π/(2log(1+√2))−10⁻⁴
- 展示人机协作在数学发现中的潜力
AI代理在数学研究中日益普及，但其有效使用方式仍不明确。为此，我们开展了一项深入案例研究，展示如何利用AI改进格罗滕迪克常数 $K_G$ 的边界。该常数反映了组合问题与其连续松弛之间的难度差异。尽管 $K_G$ 的精确值尚未可知，我们近期将最佳已知界限收紧为： $$ \frac{6π}{11} \le K_G \le \frac{π}{2\log(1+\sqrt{2})} - 10^{-4} $$ 关键的是，这些改进是通过一个能产生领域专家视为新颖见解的AI研究系统实现的。本文详细讨论了使用AI进行数学研究的经验，包括其优势与局限，并探讨了创造促使AI取得突破性洞见的理想条件。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。