Back to AI Research

AI Research

Long-Horizon AI Research for Grothendieck Constant:... | AI Research

Key Takeaways

  • This paper presents a case study on using AI to conduct long-horizon mathematical research, specifically focusing on tightening the bounds of the Grothendiec...
  • 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 \[
  • \] Crucially, these improvements were achieved using an AI research system that could arrive at insights deemed novel by domain experts.
Paper AbstractExpand

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\pi}{11} \;\le\; K_G \;\le\; \frac{\pi}{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.

This paper presents a case study on using AI to conduct long-horizon mathematical research, specifically focusing on tightening the bounds of the Grothendieck constant ($K_G$). The authors demonstrate how an AI research system, steered by human researchers, can move beyond simple problem-solving to contribute to original mathematical discovery.

Improving the Grothendieck Constant

The Grothendieck constant $K_G$ represents the "integrality gap" between hard combinatorial optimization problems and their efficient continuous relaxations (semidefinite programs). Despite being studied since 1953, its exact value remains unknown. The authors used their AI system to tighten the best-known bounds to: $$\frac{6\pi}{11} \le K_G \le \frac{\pi}{2\log(1+\sqrt{2})} - 10^{-4}$$ The upper bound was achieved using a new "limiting Krivine scheme" with cubic boundaries, while the lower bound was derived by identifying a universal analytic obstruction for all rounding schemes—the first time a lower bound has been established without constructing a specific "hard" matrix instance.

The AI Research System

The researchers engineered a system that operates as a research program rather than a single-purpose tool. It consists of two primary agents:

  • Reasoning Agent: Acts as the "brain," selecting research directions, developing arguments, and auditing claims.

  • Coding Agent: Acts as the "executor," managing the project repository, running experiments, and retrieving literature.
    The system maintains state through a file-based memory, allowing it to work asynchronously. Human operators provided high-level steering through approximately 40 directives over the course of 240 research sessions, helping the system pivot when specific search paths reached a plateau.

Collaboration and Capabilities

The authors observed a consistent asymmetry in the AI’s performance. The system was highly effective at technical execution, such as proposing lemmas and constructing proofs once a direction was set. However, it was less reliable at "research judgment"—the ability to recognize when a line of inquiry is exhausted or to synthesize past failures into a new, productive hypothesis.
The discovery of the lower bound serves as a primary example of this collaboration: while the AI system performed the heavy lifting of proving the obstruction, it was the human researchers who recognized that the system’s repeated failures to find a better upper bound were actually evidence of a broader mathematical principle.

Limitations and Verification

The authors emphasize that while the AI system generated several results, they distinguish between "theorems" and "machine-verified claims." Only results that the human authors independently verified and proved are labeled as theorems in the paper. Other findings, including stronger lower bounds and tighter upper bounds produced by the system, remain as machine-verified claims that have not yet undergone full human verification. The study concludes that while AI can be a powerful collaborator in long-horizon research, human oversight remains essential for setting the agenda and ensuring the validity of the mathematical output.

Comments (0)

No comments yet

Be the first to share your thoughts!