Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

• URL: http://arxiv.org/abs/2608.11195v3
• Date: Fri, 14 Aug 2026 05:47:29 GMT
• Title: Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
• Abstract summary: We show how AI was used to improve bounds on the Grothendieck constant $K_G$.<n> Crucially, these improvements were achieved using an AI research system that could arrive at insights deemed novel by domain experts.
• Score: 22.32121650980152
• License: http://creativecommons.org/licenses/by/4.0/
• 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{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.

Related papers

• The Gold Rush in AI4Math: Where Are We Now? [9.176056742068814]
  Despite extensive debate, empirical evidence on how artificial intelligence is actually being used in mathematics remains limited.<n>We collected all 32,944 arXiv submissions posted between March 1 and August 20, 2026, whose primary or secondary categories included Mathematics.<n>We identified 3,575 submissions that explicitly disclosed author use of AI, of which 1,712 involved at least one substantive mathematical contribution.
  arXiv  Detail & Related papers  (2026-08-25T07:07:37Z)
• From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier [109.93387172162984]
  We argue that the next leap in AI4Math systems requires a decisive shift from predefined problem-solvers to research agents.<n>We provide a systematic review of the field, covering datasets, auto-formalization, and proof synthesis.
  arXiv  Detail & Related papers  (2026-07-08T17:46:36Z)
• Characterizing initial human-AI proof formalization workflows [66.06866890889131]
  Advances in AI systems' ability to generate code and engage in increasingly high-level mathematical reasoning promise to transform people's ability to formalize and thereby verify proofs.<n>We conduct a mixed-methods analysis into the initial impact of AI on people's formalization.<n>A qualitative survey shows that people's preferences are diverse, but with a general desire for AI assistance in formalization.
  arXiv  Detail & Related papers  (2026-06-02T22:58:19Z)
• AI co-mathematician: Accelerating mathematicians with agentic AI [37.60588462488029]
  We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research.<n>The AI co-mathematician is to provide holistic support for the exploratory and iterative reality of mathematical ideation, including literature search, computational exploration, theorem proving and theory building.<n>In early tests, the AI co-mathematician helped researchers solve open problems, identify new research directions, and uncover literature references.
  arXiv  Detail & Related papers  (2026-05-07T17:56:32Z)
• The AI Research Assistant: Promise, Peril, and a Proof of Concept [0.0]
  We provide empirical evidence through a detailed case study.<n>The collaboration revealed both remarkable capabilities and critical limitations.<n>Our experience suggests that, when used with appropriate skepticism and verification protocols, AI tools can meaningfully accelerate mathematical discovery.
  arXiv  Detail & Related papers  (2026-02-26T10:29:05Z)
• Towards Autonomous Mathematics Research [48.29504087871558]
  We introduce Aletheia, a math research agent that iteratively generates, verifies, and revises solutions end-to-end in natural language.<n>Specifically, Aletheia is powered by an advanced version of Gemini Deep Think for challenging reasoning problems.<n>We demonstrate Aletheia from Olympiad problems to PhD-level exercises and most notably, through several distinct milestones in AI-assisted mathematics research.
  arXiv  Detail & Related papers  (2026-02-10T18:50:15Z)
• Accelerating Scientific Research with Gemini: Case Studies and Common Techniques [105.15622072347811]
  Large language models (LLMs) have opened new avenues for accelerating scientific research.<n>We present a collection of case studies demonstrating how researchers have successfully collaborated with advanced AI models.
  arXiv  Detail & Related papers  (2026-02-03T18:56:17Z)
• Counting Cycles with Deepseek [10.137124603866038]
  We consider a difficult open problem: How to derive a Computationally Efficient Equivalent Form (CEEF) for the cycle count statistic.<n>We combine a novel approach we propose and the powerful coding skills of AI to solve the problem.<n>We find that, while AI is unable to solve the problem all by itself, it is able to solve it if we provide it with a clear strategy, a step-by-step guidance and carefully written prompts.
  arXiv  Detail & Related papers  (2025-05-23T14:34:40Z)
• Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI [14.825293189738849]
  This paper presents a comprehensive overview on the applications of artificial intelligence (AI) in mathematical research.<n>Recent developments in AI, particularly in reinforcement learning (RL) and large language models (LLMs), have demonstrated the potential for AI to contribute back to mathematics.<n>This survey aims to establish a bridge between AI and mathematics, providing insights into the mutual benefits and fostering deeper interdisciplinary understanding.
  arXiv  Detail & Related papers  (2024-12-21T08:58:36Z)
• Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
  We advocate for formal mathematical reasoning and argue that it is indispensable for advancing AI4Math to the next level.<n>We summarize existing progress, discuss open challenges, and envision critical milestones to measure future success.
  arXiv  Detail & Related papers  (2024-12-20T17:19:24Z)
• AI for Mathematics: A Cognitive Science Perspective [86.02346372284292]
  Mathematics is one of the most powerful conceptual systems developed and used by the human species. Rapid progress in AI, particularly propelled by advances in large language models (LLMs), has sparked renewed, widespread interest in building such systems.
  arXiv  Detail & Related papers  (2023-10-19T02:00:31Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.