Tutorials
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
arXiv:2608.11195v1 Announce Type: new Abstract: 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
arXiv:2608.11195v1 Announce Type: new Abstract: 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{6pi}{11} ;le; K_G ;le; frac{pi}{2log(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.
Related
- SWE-MeM: Learning Adaptive Memory Management for Long-Horizon Coding Agents
- Neurosymbolic Reasoning with Incremental Knowledge for Sample Efficient Hierarchical Reinforcement Learning
- From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents
- MixReasoning: Switching Modes to Think
Source: arXiv cs.AI | 2026-08-12