Call for Papers

Mathematical reasoning is central to science, engineering, finance, education, and mathematics itself. Since the first MATH-AI workshop, the field has moved from asking whether large language models (LLMs) can solve mathematical problems to asking how AI systems can participate across the gamut of mathematical research: proposing conjectures, searching for examples and counterexamples, formalizing arguments, proving theorems, designing algorithms, and collaborating with human researchers.

This year, our workshop focuses more squarely on (but is not limited to) the intersection of agentic AI and mathematical reasoning. Recent progress makes this an especially timely moment: AI systems have achieved super-human results on competition-style and formal mathematical reasoning tasks, autoformalization is connecting natural mathematical language with proof assistants and formal libraries, and AI systems are beginning to guide mathematical discovery in topology, representation theory, combinatorics, matrix multiplication, and geometry. These advances point toward automated mathematical discovery, in which AI helps automate parts of the research loop from conjecture generation to proof search, verification, and communication.

This year, our central question is: How can agentic AI systems advance mathematical research while remaining reliable collaborators for human mathematicians? This theme links two priorities: building agents that can plan, use tools, conjecture, formalize, prove, verify, and learn from feedback; and designing human-AI workflows in which such agents extend mathematical judgment. To address this question, we aim to bring together diverse participants from different backgrounds, institutions, and disciplines into our workshop. Our objective is to foster a lively and constructive dialogue on areas related, but not limited, to the following:

• Humans vs. machines: How do human mathematicians and agentic AI systems differ, complement one another, or collaborate as research partners?
• Measuring mathematical reasoning: How do we measure modern agentic systems on super-human mathematical tasks—using traditional metrics such as accuracy and formal correctness, and going beyond them to proof quality, interaction with proof environments, robustness, and creativity?
• New capabilities: How do we build AI agents that plan, use tools, conjecture, explore, prove, formalize, verify, and self-improve through reliable feedback?
• Automated mathematical discovery: Which parts of the mathematical research loop can agents automate, and how should human-AI teams divide labor, especially in long-horizon or open-ended research settings?
• Education: What roles can agentic AI systems play in mathematics education—tutoring, guiding exploration, and providing feedback—especially where resources are limited?
• Applications: What applications could mathematical agents enable in formal verification, software and hardware design, science, engineering, finance, education, and mathematics itself?

Important Dates

Paper submission opens: TBD
Paper submission deadline: August 29, 2026 (AoE)
Author notification: September 29, 2026 (AoE)
Camera-ready deadline: October 29, 2026
Workshop: December 12–13, 2026 (TBD)

Submission Requirements

Submissions to MATH-AI 2026 are limited to 4 pages of content in the NeurIPS format, but may contain an unlimited number of pages for references and supplementary materials. The latter may not necessarily be read by the reviewers. We request and recommend that authors rely on the supplementary material only to include minor details (e.g., hyperparameter settings, reproducibility information, etc.) that do not fit in the 4 pages. The review process is double-blind, so please ensure that all papers are appropriately anonymised.

LaTeX template: Coming soon. Submissions should use the NeurIPS 2026 workshop format. Please use \usepackage[dblblindworkshop]{neurips_2026} for submission and \usepackage[dblblindworkshop, final]{neurips_2026} for the camera-ready version once the template is posted.

All accepted papers will be presented in an in-person poster session, and some will be selected for oral presentation. Previously published work (including NeurIPS 2026) is not allowed. Accepted papers will be displayed on the MATH-AI 2026 homepage, but are to be considered non-archival.

Submission site: Coming soon on OpenReview. If you haven’t already, we recommend creating an OpenReview profile as soon as possible, as new profile creation can take up to two weeks in some cases.

Reviewing Process

We are committed to a rigorous and fair evaluation of all submissions. Reviewers must declare both domain and individual conflicts before review assignments are made. Two to three organizers will serve as publication chairs, making final decisions based on reviews. Chairs will recuse themselves from any submission with which they have a conflict, as identified by OpenReview. Each submission will receive at least three reviews, and there will be no rebuttal phase. Final decisions will rely heavily on reviewer feedback; exceptions will be made only in rare cases and must be approved by at least two non-conflicted organizers.

Camera-ready Requirements

The final version of all accepted papers will be given one additional page of content (up to 5 pages) so that reviewers’ comments can be taken into account.

Please email any inquiries to psong2@andrew.cmu.edu.