Epoch’s AI Use in Math Research explorer uses arXiv metadata and source text to track AI use acknowledgments in math preprints. We use AI models to read and classify the use cases of AI in papers that acknowledge its use, including research, writing, code and computation, literature review, and formalization. The data is available on the GitHub repository for this explorer.
Any questions, comments, or suggestions can be directed to math@epoch.ai.
We use the metadata from all math papers that were posted to the arXiv preprint server from 1989 to the present day, and the source text from all such papers from 2023 to the present day. This data is compiled from three sources:
We consider papers whose primary classification is math. Each paper is counted under the date that it was first submitted to arXiv; revision dates do not appear in this dataset. Each paper is counted in the subfield for its primary category only; secondary categories are not taken into account. We sourced the full text of the most recent available version of each paper as of September 5th, 2026. AI use acknowledgments added in revisions are counted under the date of the first version of the paper.
We say that a paper acknowledges AI use if it acknowledges the use of AI tools for any purpose. We further classify some specific use cases for which the authors acknowledged AI. We used the following process to identify AI use acknowledgments and classify the use cases.
Independent work by Jin, Ke, and Sui used a similar methodology.
GPT-5.6 Sol identified all named AI tools (e.g., “OpenAI”, “Anthropic”, “Codex”, “Claude”, “ChatGPT”, etc.) during its read of the full-text source of papers with a keyword match in step 1 and stored the sentence in which the tool name is disclosed. Tool names were later matched to providers.
Authorship information was parsed from arXiv metadata and matched to OpenAlex author records. In total, 91.5% of authors of papers appearing on arXiv from 2023 to the present matched to an OpenAlex author record as of September 16th, 2026. We consider an author an established author (for a subfield math.XX) if they satisfy each of the following criteria:
A total of 29,399 people authored at least three papers submitted to arXiv between 2019 and 2022, and of those, 24,979 authored at least one paper submitted to arXiv since 2023 as of September 2026. Of the 24,979 authors satisfying criteria 1 and 3, we matched 24,906 to an OpenAlex author record, and 23,828 of those published at least five papers in core journals.
The established authors filter is intended to help track AI acknowledgment patterns among authors who consistently published math papers before commercial AI tools were common. It is not an assessment of mathematicians, and it is subject to the limitations of the methodology described here.
| Group | Keywords |
|---|---|
| Generic terms | AI, A.I., artificial intelligence, generative AI, GenAI, AI tool / assistant / model / system / chatbot / agent, AI-assisted, use of AI, large language model, language model, LLM |
| OpenAI | ChatGPT, GPT, GPT-4 / GPT-5 / GPT-4o, o3, o4, Codex, OpenAI |
| Anthropic | Claude, Claude Code, Anthropic, Fable, Opus, Sonnet, Haiku |
| Google / DeepMind | Gemini, Deep Think, Gemma, DeepMind, AlphaProof, AlphaEvolve, AlphaGeometry, AlphaTensor, FunSearch, X-Evolve |
| Other model developers | DeepSeek, Qwen, Kimi, Llama, Mistral, Grok |
| Coding assistants | GitHub Copilot, Copilot, Cursor, Devin |
| Mathematics AI systems | AxiomProver / Axiom Math, Aristotle, Rethlas, Danus, Eureka, TxGraffiti, DeepMath, AI proof assistant |
| Tag | Definition | Category |
|---|---|---|
| main_results_generated | AI came up with the paper’s main results or the proof of the main theorems. | Substantial research |
| specific_result_generated | A specific named or numbered result, proof, construction, bound, or counterexample in the paper is credited to AI. | Substantial research |
| statement_generated | AI is credited with producing or suggesting the statement of a conjecture or theorem that is a main result. | Substantial research |
| substantial_proof_contributions | AI is credited with a substantial, key, or essential contribution to a proof, at a level clearly sufficient for coauthorship. | Substantial research |
| vague_proof_contributions | AI is credited with helping, assisting, or contributing to proofs, with language that is too weak to indicate a substantial contribution. | Research assistance |
| proof_ideas | AI is credited with minor proof assistance: brainstorming, testing ideas or intuitions, searching for examples, improving constants. | Research assistance |
| math_checking | AI is credited with verifying proofs, constants, or derivations, or finding mathematical errors. | Research assistance |
| formalization_assist | AI assisted with formalizing the paper’s results. | Formalization |
| code_computation | AI helped write code or run a computation or simulation. | Code and computation |
| literature_search | AI assisted with finding references, related work, or relevant known results. | Literature review |
| writing_polish | AI assisted with style, grammar, rephrasing, LaTeX or formatting, or textual proofreading. | Writing |
| draft_text_generated | AI wrote substantial portions of the manuscript. | Writing |
| translation | AI assisted with translating the manuscript or sources between languages. | Writing |
| figures_media | AI assisted with generating figures, diagrams, artwork, or other media. | not published |
| purpose_unstated | AI use is acknowledged, but no purpose is stated anywhere in the paper. | not published |
| other | A genuine acknowledgment whose stated purpose fits no tag above. | not published |
| Tag | Definition |
|---|---|
| subject_matter | The paper is about AI, language models, or proof assistants. Such papers are excluded from the acknowledgment rate even if they also acknowledge AI use. |
| no_use_declared | The authors explicitly state that they did not use AI for any use. Counted in a separate denial rate. |
| name_collision | The matched term is a person’s name, an unrelated proper noun, or mathematical notation. |
| passing_mention | An AI term appears in a citation, related work, or aside. |