NeurIPS 2026 MATH-AI Workshop Calls for Papers on Agentic AI and Math
KaiyuYang4 · x · 2026-08-13
The 6th MATH-AI Workshop has been accepted at NeurIPS 2026 and is now calling for papers, reviewers, and sponsors.
Key Dates
- Paper submission deadline: September 25, 2026
- Author notification: October 19, 2026
- Workshop: December 12 or 13, 2026 (Atlanta)
Research Focus
This year's workshop focuses on the intersection of agentic AI and mathematical reasoning. As AI achieves super-human results in formal math tasks, the discourse has shifted from whether LLMs can solve math to how AI can participate across mathematical research:
- Proposing conjectures and searching for counterexamples
- Autoformalization and proof assistants
- Guiding mathematical discovery in fields like topology
- Collaborating with human researchers
More from Research
- Deep Dive: The Model Eats the Harness in an Agentic World — pzakin · 2026-08-13
- PyTorch Devs Release Interactive Pipeline Parallelism Scheduling Tutor — ezyang · 2026-08-13
- Sekai2: A 2,800+ Hour Interactive World Modeling Video Dataset — udmrzn · 2026-08-13
- Will Pre-AI Human Data Become More Valuable as the Internet Fills with AI Content? — ArcanuMELO · 2026-08-13
- Modeling Uncertainty in Code Review Agents: Non-Exclusive vs. Mutually Exclusive Risks — Accomplished-Fun4629 · 2026-08-13
- Embodied AI Breakthrough: SONIC System for Robot Motion Tracking Published in Science Robotics — zhengyiluo · 2026-08-13