AI-Assisted Mathematical Discovery

Ask about this topic

Latest papers

CardsList

18 papers4 papers in the last four weeks, with none the four weeks before. 0.0% of all new papers.

  1. Euler: Towards Human-Centered Multi-Agent Mathematical Discovery

    Oct 14, 2026Qiuyu Chen, Qi Wang, Liang Xu +3AI-Assisted Mathematical DiscoveryAutonomous Research Agents

    Shanghai Jiao Tong University · Ningbo Key Laboratory of Spatial Intelligence and Digital Derivative, Ningbo Institute of Digital Twin, Eastern Institute of Technology, Zhejiang, China · Institute of Automation, Chinese Academy of Sciences +1

  2. What the Machine Invented: Mining New Mathematical Instruments from OpenAI's October 2026 Release of AI-Generated Mathematics

    Oct 12, 2026Ying XieAI-Assisted Mathematical DiscoveryAI-Assisted Scientific Research

    Kennesaw State University

  3. GenLimitLib: A Formal Library for Language Generation in the Limit and AI-Assisted Mathematical Research

    Sep 29, 2026Shuangping Li, Peng ZhangAI-Assisted Mathematical DiscoveryText Generation

    Yale University · Rutgers University

  4. Learning to Discover Interesting Mathematics

    Sep 23, 2026Niket Patel, Ahmad Rammal, Amaury Hayat +2Automated Theorem ProvingLean Theorem Proving

    New York University · CERMICS, ENPC, Institut Polytechnique de Paris

  5. AI-Assisted Discovery and Construction of a Counterexample to the Convergence of Three-Block ADMM with the Identity Matrix as its Third Constraint Block

    Aug 14, 2026Kenan Xu, Xiangfeng WangAI-Assisted Mathematical DiscoveryAlternating Direction Method of Multipliers

    School of Mathematical Sciences, East China Normal University, Shanghai 200241, P.R. China. · Key Laboratory of Mathematics and Engineering Applications (MoE) and School of Mathematical Sciences, East China Normal University, Shanghai 200241, P.R. China.

  6. Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration

    Aug 11, 2026Alan Li, Rahul Saha, Anton Xue +4Deep Research AgentsAI-Assisted Mathematical Discovery

  7. Neurosymbolic Discovery of Algebraic Graph Constructions

    Aug 8, 2026David Seka, Stefan SzeiderGraph ConstructionNeuro-Symbolic Reasoning

    Algorithms and Complexity Group TU Wien, Vienna, Austria

  8. Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory

    Jul 19, 2026Antonio Acuaviva, Pablo AcuavivaAutomated Theorem ProvingAI-Assisted Mathematical Discovery

  9. ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System

    Jul 15, 2026Yutong He, Daibo Li, Guohong Li +15Multi-Agent LLM SystemsAI Agents for Scientific Discovery

    Peking University · University of Electronic Science and Technology of China · Beijing Normal University +2

  10. Language models guide symbolic equation discovery by controlling search

    Jul 5, 2026Zikai Xie, Wenmei Li, Man Luo +2Large Language Model-Guided Scientific DiscoverySymbolic Regression

    State Key Laboratory of Precision and Intelligent Chemistry, Hefei National Research Center for Physical Sciences at the Microscale, School of Chemistry and Materials Science, University of Science and Technology of China, Hefei, China. · Center for Scientific Intelligence Innovation, Hefei, China · School of Chemistry, School of Computer Science, University of Birmingham, Birmingham, UK

  11. Nothing from Something: Can a Language Model Discover 0?

    Jun 15, 2026Phoebe Zeng, Thomas L. Griffiths, Brenden M. LakeNumerical Reasoning in Language ModelsLanguage Model Pretraining

    Department of Computer Science, Princeton University

  12. Iteris: Agentic Research Loops for Computational Mathematics

    Jun 1, 2026Leheng Chen, Zihao Liu, Wanyi He +1Mathematical ReasoningLarge Language Model-Guided Scientific Discovery

    School of Mathematical Sciences, Peking University · 5Zhongguancun Academy · 2Beijing International Center for Mathematical Research and the New Cornerstone Science Laboratory, Peking University +2

  13. AI co-mathematician: Accelerating mathematicians with agentic AI

    May 7, 2026Daniel Zheng, Ingrid von Glehn, Yori Zwols +15AI Agents for Scientific DiscoveryAI-Assisted Mathematical Discovery

    Google DeepMind · Google

  14. Grokability in five inequalities

    May 6, 2026Paata Ivanisvili, Xinyuan XieAI-Assisted Mathematical Discovery

    University of California, Irvine

  15. Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1

    Apr 19, 2026Alexandre LinharesAutomated Theorem ProvingAnalogical Reasoning

    Getulio Vargas Foundation · ARGO LABS

  16. kk-server-bench: Automating Potential Discovery for the kk-Server Conjecture

    Apr 8, 2026Kirill Brilliantov, Etienne Bamas, Emmanuel AbbéAI-Assisted Mathematical DiscoveryAutonomous Scientific Discovery

    MDS Lab, EPFL

  17. Measuring Progress in Reasoning Toward Mathematical Discovery with Automatic Verification

    Mar 16, 2026Erik Y. Wang, Sumeet R. Motwani, James V. Roggeveen +9Mathematical Reasoning BenchmarksLLM Mathematical Reasoning

    Stanford University · Benchmark · University of Oxford +3

  18. AI Mathematician: Towards Fully Automated Frontier Mathematical Research

    May 28, 2025Yuanhang Liu, Yanxing Huang, Yanqiao Wang +2AI-Assisted Mathematical DiscoveryAI-Assisted Scientific Research

    Qiuzhen College, Tsinghua University · Department of Mathematical Sciences, Tsinghua University · Institute for AI Industry Research (AIR), Tsinghua University, Beijing, China +1