Related papers: The Gold Rush in AI4Math: Where Are We Now?

The Gold Rush in AI4Math: Where Are We Now?

URL: http://arxiv.org/abs/2608.24961v1
Date: Tue, 25 Aug 2026 07:07:37 GMT
Title: The Gold Rush in AI4Math: Where Are We Now?
Abstract summary: 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.
Score: 9.176056742068814
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: Recent advances in artificial intelligence (AI) have sparked growing interest in its use for mathematical research. While some view this as a major opportunity for discovery, others have raised concerns about its impact on traditional research practices. Despite extensive debate, empirical evidence on how AI is actually being used in mathematics remains limited. To address this gap, we collected all 32,944 arXiv submissions posted between March 1 and August 20, 2026, whose primary or secondary categories included Mathematics. We identified 3,575 submissions that explicitly disclosed author use of AI, of which 1,712 involved at least one substantive mathematical contribution. Our analysis reveals several broad patterns. First, disclosed AI use increased sharply over the study period, with substantive use growing from 1.39% of Mathematics submissions in March to 14.09% through August 20. Second, substantive AI use is highly uneven across fields: Combinatorics has the largest number of such papers, while Metric Geometry has the highest substantive-use rate. Third, substantive AI use is geographically concentrated: under weighted author counts, the United States and China together account for about two-thirds of the recognized country weight. Fourth, AI is already being applied to open research problems: among 717 named open-problem records associated with substantive use, 71% are labeled as fully resolved based on the authors' descriptions, with proofs of the conjectured statement more common than counterexamples or disproofs. Finally, AI-system use is also highly concentrated, with OpenAI systems appearing most frequently, followed by Anthropic. Together, these findings suggest that AI-assisted mathematics is expanding rapidly but remains at an early and uneven stage of adoption.

Related papers

The Problem Is the Problem: Towards Scalable Mathematical Discovery [27.74875048771945]
We build a literature-to-review cascade that automates the search for suitable problems and focuses human attention on artifacts that have passed several stages of filtering.<n>We identify many interesting discoveries, including results on conjectures and questions of Davies--Jenssen-Perkins--Roberts, Erds--Straus, Ikenmeyer--Pak--Panova, and Lund-Saraf--Wolf.
arXiv Detail & Related papers (2026-08-17T17:19:59Z)
Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration [22.32121650980152]
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.
arXiv Detail & Related papers (2026-08-11T17:53:48Z)
When AI Meets Science: Research Diversity, Interdisciplinarity, Visibility, and Retractions across Disciplines in a Global Surge [0.429202654064509]
We analyze over 227 million scholarly works from the OpenAlex collection.<n>We document differences in the timing and extent of AI adoption across domains.<n>We discuss how best research practices could boost the benefits of AI adoption.
arXiv Detail & Related papers (2026-05-07T11:23:23Z)
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)
Early science acceleration experiments with GPT-5 [58.27301147653905]
We present a collection of short case studies in which GPT-5 produced new, concrete steps in ongoing research.<n>In these examples, the authors highlight how AI accelerated their work, and where it fell short.<n>We document the interactions of the human authors with GPT-5, as guiding examples of fruitful collaboration with AI.
arXiv Detail & Related papers (2025-11-20T06:04:23Z)
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)
Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models [63.31878920079154]
We propose a benchmark specifically designed to assess large language models' mathematical reasoning at the Olympiad level.<n>Unlike existing Olympiad-related benchmarks, our dataset focuses exclusively on mathematics and comprises a vast collection of 4428 competition-level problems with rigorous human annotation.<n>Our experimental results show that even the most advanced models, OpenAI o1-mini and OpenAI o1-preview, struggle with highly challenging Olympiad-level problems, with 60.54% and 52.55% accuracy, highlighting significant challenges in Olympiad-level mathematical reasoning.
arXiv Detail & Related papers (2024-10-10T14:39:33Z)
Artificial intelligence adoption in the physical sciences, natural sciences, life sciences, social sciences and the arts and humanities: A bibliometric analysis of research publications from 1960-2021 [73.06361680847708]
In 1960 14% of 333 research fields were related to AI, but this increased to over half of all research fields by 1972, over 80% by 1986 and over 98% in current times. In 1960 14% of 333 research fields were related to AI (many in computer science), but this increased to over half of all research fields by 1972, over 80% by 1986 and over 98% in current times. We conclude that the context of the current surge appears different, and that interdisciplinary AI application is likely to be sustained.
arXiv Detail & Related papers (2023-06-15T14:08:07Z)
OpenHoldem: An Open Toolkit for Large-Scale Imperfect-Information Game Research [82.09426894653237]
OpenHoldem is an integrated toolkit for large-scale imperfect-information game research using NLTH. OpenHoldem makes three main contributions to this research direction: 1) a standardized evaluation protocol for thoroughly evaluating different NLTH AIs, 2) three publicly available strong baselines for NLTH AI, and 3) an online testing platform with easy-to-use APIs for public NLTH AI evaluation.
arXiv Detail & Related papers (2020-12-11T07:24:08Z)

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