Cover Image

Artificial Intelligence and the Structure of Mathematics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barkeshli, Maissam, Douglas, Michael R., Freedman, Michael H.
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence History and Overview Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

From real analysis to the sorites paradox via Reverse Mathematics
by: Dean, Walter, et al.
Published: (2025)

Mathematical Proof Between Generations
by: Bayer, Jonas, et al.
Published: (2022)

Cantor's Powerset Theorem, Graph-Theoretically
by: Salehi, Saeed
Published: (2026)

A correspondence problem for mathematical proof
by: DeDeo, Simon, et al.
Published: (2026)

A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)

In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl
by: Neuwirth, Stefan, et al.
Published: (2024)

Weyl's Quantifiers
by: Toader, Iulian D.
Published: (2024)

On a form of intrinsic optimism in Set Theory
by: Pérez, M. Muñoz
Published: (2025)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

Is Mathematics Obsolete?
by: Avigad, Jeremy
Published: (2025)

Shaping the Future of Mathematics in the Age of AI
by: Commelin, Johan, et al.
Published: (2026)

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

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

Secrets and Quantifiers
by: Bajnok, Bela, et al.
Published: (2024)

One Plus One Equals Two Ones: On Identity, Aggregation, and Counting
by: Ghosh, Souvik
Published: (2025)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
by: Dvorak, Martin
Published: (2026)

Ablation and the Meno: Tools for Empirical Metamathematics
by: Fan, Zhengqin, et al.
Published: (2026)

Very basic set theory
by: Homan, Doeko
Published: (2023)

The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
by: Kamareddine, Fairouz, et al.
Published: (2024)

In Memory of Martin Davis
by: Calvert, Wesley, et al.
Published: (2024)

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

Automated Mathematics and the Reconfiguration of Proof and Labor
by: Ochigame, Rodrigo
Published: (2023)

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

Mathematicians in the age of AI
by: Avigad, Jeremy
Published: (2026)

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

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

On the mechanical creation of mathematical concepts
by: G, Asvin
Published: (2025)

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

Approximating Mathematical Constants using Minecraft
by: Lynch, Molly, et al.
Published: (2024)

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

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

Operators in the mind: Jan Lukasiewicz and Polish notation
by: Mizraji, Eduardo
Published: (2025)

Notes on Category Theory with examples from basic mathematics
by: Perrone, Paolo
Published: (2019)

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

Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
by: Serrano, Felix De la Cruz
Published: (2026)

Stamps and Mathematics
by: Ivanova, Nataliya M.
Published: (2024)

The Folding Mathematics
by: Morye, Archana S.
Published: (2025)

Teaching Mathematics for Economists
by: Hillebrand, Eric
Published: (2025)