MATH-AI: The 6th Workshop on Mathematical Reasoning and AI

The 6th MATH-AI Workshop on Mathematical Reasoning and AI will focus on the intersection of agentic AI and mathematical reasoning, with an emphasis on systems that can participate in the broader mathematical research loop. Recent progress in AI-assisted theorem proving, autoformalization, mathematical discovery, and research-level reasoning suggests a shift from isolated problem solving toward agents that can conjecture, search, formalize, prove, verify, explain, use tools, and learn from feedback. The workshop will bring together researchers from machine learning, mathematics, formal methods, programming languages, cognitive science, and education to discuss both the technical foundations of reliable mathematical agents and the human-AI workflows needed for productive collaboration. Its central question is: how can agentic AI systems advance mathematical research while remaining trustworthy partners for human mathematicians?