Cover Image

Advancing mathematics research with generative AI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Carbone, Lisa
Format:	Preprint
Published:	2025
Subjects:	History and Overview Artificial Intelligence Human-Computer Interaction Group Theory Logic 03B35, 20F10, 68T50
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Anatomy of a Formal Proof
by: Avigad, Jeremy, et al.
Published: (2024)

Artifical intelligence and inherent mathematical difficulty
by: Dean, Walter, et al.
Published: (2024)

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

Algorithm and abstraction in formal mathematics
by: Macbeth, Heather
Published: (2024)

Astrolabe: A Content-Addressable Hypergraph for Semantic Knowledge Management
by: Li, Xinze
Published: (2026)

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

Modal group theory: homomorphisms
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

The theory of one-relator groups: history and recent progress
by: Linton, Marco, et al.
Published: (2025)

On the Isomorphism Relation for Omnigenous Locally Finite Groups
by: Gao, Su, et al.
Published: (2025)

Remarks on Primitive Regulation
by: Rosko, Milan
Published: (2026)

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

A Structural Analysis of Infinity in Set Theory and Modern Algebra
by: Betz, Noah
Published: (2025)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

On automorphism groups of metric reduced products of symmetric groups
by: De Bondt, Ben, et al.
Published: (2024)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

Meaning as Use, Application, Employment, Purpose, Usefulness
by: de Queiroz, Ruy J. G. B.
Published: (2025)

From the Notebooks to the Investigations and Beyond
by: de Queiroz, Ruy J. G. B.
Published: (2025)

The Network Structure of Mathlib
by: Li, Xinze, et al.
Published: (2026)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
by: Mancosu, Paolo, et al.
Published: (2023)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

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

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)

Generic groups and the weak amalgamation property
by: Ivanov, Aleksander, et al.
Published: (2024)

Remarks and problems about algorithmic descriptions of groups
by: Rauzy, Emmanuel
Published: (2021)

Computable analysis on the space of marked groups
by: Rauzy, Emmanuel
Published: (2021)

Sentences over Random Groups I: Existential Sentences
by: Massalha, Sobhi
Published: (2024)

Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups
by: Breuillard, Emmanuel, et al.
Published: (2024)

Sentences over Random Groups II: Sentences of Minimal Rank
by: Massalha, Sobhi
Published: (2024)

Modal group theory
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Whitehead's problem and condensed mathematics
by: Bergfalk, Jeffrey, et al.
Published: (2023)

A foundation for deductive mathematics
by: Quinn, Frank
Published: (2021)

Hierarchical formula classes with respect to semi-classical prenex normalization
by: Fujiwara, Makoto, et al.
Published: (2025)

Medvedev degrees of subshifts on groups
by: Barbieri, Sebastián, et al.
Published: (2024)

Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

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

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

On foundations for deductive mathematics
by: Quinn, Frank
Published: (2024)