001 The Ramanujan Challenge For AI arXiv Paper M. Shalyt, Rotem Kalisch et al. Jun 27 002 TheoremGraph: Bridging Formal and Informal Mathematics arXiv Paper Simon Kurgan, Evan Wang et al. Jun 24 003 Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis arXiv Paper David Holmes, Johannes Schmitt Jun 20 004 Benchmarks in Leipzig arXiv Paper A. Balakin, Miklós Bóna et al. Jun 4 005 Waterproof Editor: an educational environment for proof assistants and programming languages arXiv Paper P. Otte, Dick Arends et al. Jun 1 006 On the History of the Square and Multiply Algorithm arXiv Paper N. Aydin, M. Azarian et al. May 31 007 A Minimal Mathematical Model for Conducting Patterns arXiv Paper Tom Verhoeff Apr 11 008 Artificial Intelligence and the Structure of Mathematics arXiv Paper M. Barkeshli, Michael R. Douglas et al. Apr 7 009 A Determinantal Approach to a Sharp $\ell^1-\ell^\infty-\ell^2$ Norm Inequality arXiv Paper Jose Antonio Lara Benitez Apr 2 010 Shaping the Future of Mathematics in the Age of AI arXiv Paper J. Commelin, M. Jamnik et al. Mar 26 011 Discovering mathematical concepts through a multi-agent system arXiv Paper Daattavya Aggarwal et al. Mar 4 012 Mathematicians in the age of AI arXiv Paper Jeremy Avigad Mar 4 013 Dynamic Level Sets arXiv Paper Michael Stephen Fiske Feb 26 014 Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof arXiv Paper J. Weatherall, J. Wolfson Feb 12 015 Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts arXiv Paper Felix De la Cruz Serrano Feb 9 016 First Proof arXiv Paper Mohammed Abouzaid et al. Feb 5 017 Semantic Search over 9 Million Mathematical Theorems arXiv Paper Luke Alexander et al. Feb 5 018 LLAMA LIMA: A Living Meta-Analysis on the Effects of Generative AI on Learning Mathematics arXiv Paper Anselm R. Strohmaier, Samira Bödefeld et al. Jan 26 019 Shakespeare, Entropy and Educated Monkeys arXiv Paper Ioannis Kontoyiannis Dec 8, 2025 020 AI as a component in the action research tradition of learning-by-doing arXiv Paper Ian Benson et al. Nov 14, 2025 021 From Euler to Today: Universal Mathematical Fallibility A Large-Scale Computational Analysis of Errors in ArXiv Papers arXiv Paper Igor Rivin Nov 4, 2025 022 If you can distinguish, you can express: Galois theory, Stone--Weierstrass, machine learning, and linguistics arXiv Paper Ben Blum-Smith, Claudia Brugman et al. Oct 10, 2025 023 Advancing mathematics research with generative AI arXiv Paper Lisa Carbone Sep 29, 2025 024 EEFSUVA: A New Mathematical Olympiad Benchmark arXiv Paper Nicole N Khatibi et al. Sep 23, 2025 025 Gen AI in Proof-based Math Courses: A Pilot Study arXiv Paper Hannah Klawa et al. Sep 16, 2025 026 An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development arXiv Paper Michael Bouzinier et al. Sep 2, 2025 027 The Mathematician's Assistant: Integrating AI into Research Practice arXiv Paper Jonas Henkel Aug 27, 2025 028 Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams arXiv Paper Kaitlin Riegel et al. Aug 26, 2025 029 Can the current trends of AI handle a full course of mathematics? arXiv Paper Mariam Alsayyad et al. Jul 29, 2025 030 On the mechanical creation of mathematical concepts arXiv Paper Asvin G Jul 14, 2025 031 Large Language Models Don't Make Sense of Word Problems. A Scoping Review from a Mathematics Education Perspective arXiv Paper Anselm R. Strohmaier, W. Dooren et al. Jun 30, 2025 032 Modular versus Hierarchical: A Structural Signature of Topic Popularity in Mathematical Research arXiv Paper Brian Hepler Jun 28, 2025 033 Using Large Language Models to Study Mathematical Practice arXiv Paper William D’Alessandro Jun 16, 2025 034 The Problem of Algorithmic Collisions: Mitigating Unforeseen Risks in a Connected World arXiv Paper Maurice Chiodo et al. May 26, 2025 035 Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility arXiv Paper Maurice Chiodo et al. May 15, 2025 036 In between myth and reality: AI for math -- a case study in category theory arXiv Paper Răzvan Diaconescu Apr 17, 2025 037 The Evolution of Rough Sets 1970s-1981 arXiv Paper Viktor Marek et al. Apr 8, 2025 038 Post-Quantum Homomorphic Encryption: A Case for Code-Based Alternatives arXiv Paper Siddhartha Siddhiprada Bhoi et al. Mar 28, 2025 039 Combinatorial Designs and Cellular Automata: A Survey arXiv Paper Luca Manzoni et al. Mar 13, 2025 040 From Euler to AI: Unifying Formulas for Mathematical Constants arXiv Paper Tomer Raz, M. Shalyt et al. Feb 24, 2025 041 On the robustness of ChatGPT in teaching Korean Mathematics arXiv Paper P. Nguyen, Q. Nguyen-The et al. Feb 17, 2025 042 Explaining Necessary Truths arXiv Paper Gülce Kardeş et al. Feb 16, 2025 043 Mathematical Data Science arXiv Paper Michael R. Douglas et al. Feb 12, 2025 044 Is Mathematics Obsolete? arXiv Paper Jeremy Avigad Feb 3, 2025 045 Proofs for Folklore Theorems on the Radon-Nikodym Derivative arXiv Paper Yaiza Bermudez et al. Jan 30, 2025 046 Galois groups of polynomials and neurosymbolic networks arXiv Paper Elira Shaska et al. Jan 22, 2025 047 Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions arXiv Paper Dennis Müller et al. Jan 12, 2025 048 Low rank matrix completion and realization of graphs: results and problems arXiv Paper S. Dzhenzher et al. Jan 10, 2025 049 Matrix Calculus (for Machine Learning and Beyond) arXiv Paper Paige Bright, Alan Edelman et al. Jan 7, 2025 050 Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning arXiv Paper Ying Fang et al. Dec 23, 2024 051 Mathematical Definition and Systematization of Puzzle Rules arXiv Paper Itsuki Maeda et al. Dec 18, 2024 052 Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students arXiv Paper Namrata Vaswani, Mohamed Y. Selim et al. Sep 25, 2024 053 Artifical intelligence and inherent mathematical difficulty arXiv Paper Walter Dean et al. Aug 1, 2024 054 Mathematical theory of deep learning arXiv Paper Philipp Petersen, Jakob Zech Jul 25, 2024 055 A Moonshot for AI Oracles in the Sciences arXiv Paper Bryan Kaiser et al. Jun 25, 2024 056 Mathematical Entities: Corpora and Benchmarks arXiv Paper Jacob Collard, Valeria Correa Vaz de Paiva et al. Jun 17, 2024 057 A Triumvirate of AI Driven Theoretical Discovery arXiv Paper Yang-Hui He May 30, 2024 058 Denoising: from classical methods to deep CNNs arXiv Paper J.E. Campagne Apr 25, 2024 059 Interactions Between Brauer Configuration Algebras and Classical Cryptanalysis to Analyze Bach's Canons arXiv Paper Agustín Moreno Cañadas et al. Apr 9, 2024 060 Revisiting the Sleeping Beauty problem arXiv Paper Paulo S. Piva et al. Mar 25, 2024