$Cover Image$

In between myth and reality: AI for math -- a case study in category theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Diaconescu, Răzvan
Format:	Preprint
Published:	2025
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

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

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

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

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)

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

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

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

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

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

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)

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

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

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)

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

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

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

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

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

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)

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

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

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

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

Revisiting the Sleeping Beauty problem
by: Piva, Paulo S., 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)

Can the current trends of AI handle a full course of mathematics?
by: Alsayyad, Mariam, 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)

A Moonshot for AI Oracles in the Sciences
by: Kaiser, Bryan, et al.
Published: (2024)

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

Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
by: Müller, Dennis, et al.
Published: (2025)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)

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

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

Advancing mathematics research with generative AI
by: Carbone, Lisa
Published: (2025)