:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Piva, Paulo S., Ruffolo, Gabriel
Format:	Preprint
Published:	2024
Subjects:	History and Overview Artificial Intelligence
Online Access:	https://arxiv.org/abs/2403.16666
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Beauty of Roots
by: Baez, John C.
Published: (2023)

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

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

From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting
by: Chen, Nuo, et al.
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)

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
by: Weatherall, James Owen, 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)

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

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

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

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

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

A Little Reflection about the Sleeping Beauty Problem
by: Barbosa, André Luiz
Published: (2023)

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

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

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

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

Large Language Models for Mathematicians
by: Frieder, Simon, et al.
Published: (2023)

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

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

Some conditions for a good start in problem solving in elementary school. Primum non nocere
by: Hersant, Magali, et al.
Published: (2025)

A Triumvirate of AI Driven Theoretical Discovery
by: He, Yang-Hui
Published: (2024)

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

Mathematical intuition, deep learning, and Robbins' problem
by: Bruss, F. Thomas
Published: (2023)

Galois groups of polynomials and neurosymbolic networks
by: Shaska, Elira, et al.
Published: (2025)

Optimal control problems with free right end point
by: Tauchnitz, Nico
Published: (2025)

G. S. Tseytin's seven-relation semigroup with undecidable word problem
by: Nyberg-Brodda, Carl-Fredrik
Published: (2024)

A century problem related to the Legendre symbol modulo p
by: Zhang, Wenpeng
Published: (2025)

Intuitive but Non-Rigorous Explanations of Infinite Numbers
by: Cranmer, Steven R.
Published: (2024)

Mikio Sato, a visionary of mathematics
by: Schapira, Pierre
Published: (2024)

A Note on Gamma Function and Convolution
by: Mota, Francisco
Published: (2024)

Algumas luminescências sobre o jogo Lights Out
by: Verdério, Adriano, et al.
Published: (2024)

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

The Significance of Ethnomathematics Learning: A Cross-Cultural Perspectives Between Indonesian and Thailand Educators
by: Wulandari, I Gusti Ayu Putu Arya, et al.
Published: (2024)

Hard Proofs and Good Reasons
by: DeDeo, Simon
Published: (2024)

Theodorus mathematical Lesson (Theaetetus, 147c7-d6) I What are Theodorus' drawings? II Theodorus' demonstrations of irrationality
by: Ofman, Salomon
Published: (2024)