6th MATH-AI Workshop at NeurIPS'26 - Math-AI

The 6th Workshop on Mathematical Reasoning and AI

6th MATH-AI Workshop at NeurIPS'26 - Math-AI NeurIPS 2026, Atlanta, December 12 or 13, 2026 (exact date & room TBA) News We are calling for reviewers! Please nominate yourself or others via our reviewer nomination form . We are delighted to announce that MATH-AI 2026 has been accepted as a NeurIPS 2026 workshop in Atlanta. Overview 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

related reading

• Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Solve math, solve everything. — Math, Inc.math.inc
• [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
• Notes from the front - by Michael Harris - Silicon Reckonersiliconreckoner.substack.com
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Artificial Intelligence and the Structure of Mathematicsarxiv.org
• Mathematical methods and human thought in the age of AIarxiv.org
• The machines are fine. I'm worried about us.ergosphere.blog
• FrontierMath: Evaluating advanced mathematical reasoning in AI | Epoch AI | Epoch AIepochai.org
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai