Copertina

Shaping the Future of Mathematics in the Age of AI

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Commelin, Johan, Jamnik, Mateja, Ochigame, Rodrigo, Taelman, Lenny, Venkatesh, Akshay
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	History and Overview Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Automated Mathematics and the Reconfiguration of Proof and Labor
di: Ochigame, Rodrigo
Pubblicazione: (2023)

Is Mathematics Obsolete?
di: Avigad, Jeremy
Pubblicazione: (2025)

Mathematical Definition and Systematization of Puzzle Rules
di: Maeda, Itsuki, et al.
Pubblicazione: (2024)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
di: Weatherall, James Owen, et al.
Pubblicazione: (2026)

Using Large Language Models to Study Mathematical Practice
di: D'Alessandro, William
Pubblicazione: (2025)

Artificial Intelligence and the Structure of Mathematics
di: Barkeshli, Maissam, et al.
Pubblicazione: (2026)

Mathematicians in the age of AI
di: Avigad, Jeremy
Pubblicazione: (2026)

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
di: Wang, Siyuan, et al.
Pubblicazione: (2025)

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
di: Duede, Eamon, et al.
Pubblicazione: (2024)

In between myth and reality: AI for math -- a case study in category theory
di: Diaconescu, Răzvan
Pubblicazione: (2025)

From Euler to AI: Unifying Formulas for Mathematical Constants
di: Raz, Tomer, et al.
Pubblicazione: (2025)

Discovering mathematical concepts through a multi-agent system
di: Aggarwal, Daattavya, et al.
Pubblicazione: (2026)

From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
di: Chen, Nuo, et al.
Pubblicazione: (2023)

Revisiting the Sleeping Beauty problem
di: Piva, Paulo S., et al.
Pubblicazione: (2024)

On the mechanical creation of mathematical concepts
di: G, Asvin
Pubblicazione: (2025)

The Evolution of Rough Sets 1970s-1981
di: Marek, Viktor, et al.
Pubblicazione: (2025)

AI for Mathematics: Progress, Challenges, and Prospects
di: Ju, Haocheng, et al.
Pubblicazione: (2026)

Stamps and Mathematics
di: Ivanova, Nataliya M.
Pubblicazione: (2024)

The Folding Mathematics
di: Morye, Archana S.
Pubblicazione: (2025)

Evaluating the Design Features of an Intelligent Tutoring System for Advanced Mathematics Learning
di: Fang, Ying, et al.
Pubblicazione: (2024)

Teaching Mathematics for Economists
di: Hillebrand, Eric
Pubblicazione: (2025)

Can the current trends of AI handle a full course of mathematics?
di: Alsayyad, Mariam, et al.
Pubblicazione: (2025)

Growing Mathlib: maintenance of a large scale mathematical library
di: Baanen, Anne, et al.
Pubblicazione: (2025)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
di: Ruggeri, Tommaso, et al.
Pubblicazione: (2025)

An Episode in The Old Mathematical Intelligencer
di: Lamm, Christoph
Pubblicazione: (2025)

Fraudulent Publishing in the Mathematical Sciences
di: Agricola, Ilka, et al.
Pubblicazione: (2025)

AlephZero and Mathematical Experience
di: DeDeo, Simon
Pubblicazione: (2023)

Mathematics in art, for art and as art
di: Esteban, Maria J.
Pubblicazione: (2025)

Approximating Mathematical Constants using Minecraft
di: Lynch, Molly, et al.
Pubblicazione: (2024)

Indigenous Mathematics I. Smoke Telegraphy
di: Ball, Rowena
Pubblicazione: (2025)

Elements of the Theory of Probability and Mathematical Statistics
di: Chinarova, Lidiia L., et al.
Pubblicazione: (2024)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
di: Mangum, Chad R.
Pubblicazione: (2025)

Mathematics -- an imagined tool for rational cognition
di: Čulina, Boris
Pubblicazione: (2023)

From Concrete to Abstract in Indian Mathematics
di: Dasgupta, Jaidev
Pubblicazione: (2024)

Testing GPT-4 with Wolfram Alpha and Code Interpreter plug-ins on math and science problems
di: Davis, Ernest, et al.
Pubblicazione: (2023)

Mathematics education research must be useful for the classroom
di: Essien, Anthony A., et al.
Pubblicazione: (2025)

Using GXWeb for Theorem Proving and Mathematical Modelling
di: Todd, Philip, et al.
Pubblicazione: (2024)

Teaching "Foundations of Mathematics" with the Lean Theorem Prover
di: Bottoni, Mattia Luciano, et al.
Pubblicazione: (2025)

A review of Alfred North Whitehead's "Introduction to Mathematics"
di: Hales, Thomas
Pubblicazione: (2024)

Report on the 63rd Annual International Mathematical Olympiad
di: Bajnok, Béla
Pubblicazione: (2025)