Latest AI for Mathematics Research Papers

The newest AI for Mathematics papers from across the field — arXiv, NeurIPS, CVPR, Nature, and more — refreshed daily and ranked by relevance. Distill AI tracks AI for Mathematics so you don’t have to: get the standout work delivered to your inbox every morning, with 2-sentence summaries and the option to chat with any paper.

Recent papers

• SkillCenter: A Large-Scale Source-Grounded Skill Library for Autonomous AI Agents
  Tianming Sha, Yue Zhao, Lichao Sun, Yushun Dong · arXiv · Jul 8, 2026

  Autonomous AI agents can execute complex tasks with limited human review, yet they often lack the grounded operational knowledge to make their outputs not just executable but correct, secure, and maintainable. We introduce SkillCenter, to o…

• Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
  Jihao Liu, Guoxiong Gao, Zeming Sun, Bin Wu et al. · arXiv · Jul 7, 2026

  Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, scaling and orchestrating such agents effectively remains chall…

• Towards Automating Scientific Review with Google's Paper Assistant Tool
  Rajesh Jayaram, Drew Tyler, David Woodruff, Corinna Cortes et al. · arXiv · Jun 26, 2026

  Artificial intelligence is driving a revolution in scientific discovery, accelerating everything from hypothesis generation to mathematical theorem proving. However, this rapid acceleration is creating a systemic challenge: traditional huma…

• Scaling Linear Mode Connectivity and Merging to Billion Parameter Pretrained Transformers
  Tianyi Li, Zhiqiang Shen · arXiv · Jun 22, 2026

  Linear mode connectivity (LMC) provides a promising foundation for understanding and merging independently trained neural networks, but existing methods typically optimize the interpolation path from only one model endpoint, limiting their …

• Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit
  Xiaoyu Li, Andi Han, Dai Shi, Zheng Gao et al. · arXiv · Jun 12, 2026

  AI systems coupled to proof assistants now generate formal mathematics at scale, and the gap between what a checker can verify and what a mathematician would value has become the binding constraint. We model the generation of valuable mathe…

• A Comprehensive Anatomy of Human and DeepSeek-R1 LLM Mathematical Reasoning
  Yuxiang Chen, Jun Wang · arXiv · Jun 5, 2026

  The emergence of "Aha moments" in large language models, particularly DeepSeek-R1-0120, has raised the question of whether these systems genuinely reason or merely imitate the appearance of reasoning. We conduct a comprehensive empirical co…

• Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
  Jui-Hui Chung, Ziyang Cai, Zihao Li, Qishuo Yin et al. · arXiv · Jun 4, 2026

  We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement. A blueprint is a dependency graph of definitions and lemmas that builds up to the main theorem. First,…