NeurIPS 2026 MATH-AI workshop opens papers on agentic mathematical reasoning
KaiyuYang4 · x · 2026-07-28
NeurIPS 2026 MATH-AI workshop opens submissions on agentic math reasoning
The 6th MATH-AI workshop at NeurIPS 2026 is now accepting papers. It focuses on how AI systems can participate in mathematical research — not just solve contest problems, but also:
- propose conjectures and search for examples/counterexamples
- formalize arguments in proof assistants
- prove and verify theorems
- design algorithms and collaborate with human mathematicians
This year’s emphasis is the intersection of agentic AI and mathematical reasoning. The organizers say recent progress includes super-human results on competition-style and formal math tasks, autoformalization work, and AI-assisted discovery in areas like topology, representation theory, combinatorics, matrix multiplication, and geometry.
Key dates listed in the CFP:
- Submission deadline: September 25, 2026
- Notification: October 19, 2026
- Camera-ready: October 29, 2026
The workshop will also recognize outstanding submissions with best paper awards, honorable mentions, and selected oral presentations.
More from AGI Musings
- Americans want full control over the AI systems and data they rely on — eliano · 2026-07-28
- Compute, not algorithms, is the real moat in frontier AI — GavinSBaker · 2026-07-28
- AI critics say the world mostly sees slop, not transformative value — yacineMTB · 2026-07-28
- Google DeepMind says LLMs can prove theorems but still cannot make scientific “jumps” — kylekabasares · 2026-07-28
- AI is becoming a ladder of abstractions, from copilots to agents that choose their own work — pzakin · 2026-07-28
- OpenAI economic research says AI is reshuffling tasks across occupations — soumitrashukla9 · 2026-07-28