:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Marek, Viktor, Orłowska, Ewa, Düntsch, Ivo
Format:	Preprint
Published:	2025
Subjects:	History and Overview Artificial Intelligence
Online Access:	https://arxiv.org/abs/2505.03747
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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)

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)

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)

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

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)

Consonance in music -- the Pythagorean approach revisited
by: Cichowlas, Jan, et al.
Published: (2025)

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

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

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

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

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)

Topological Structures of Sets and their Subsets
by: Ma, Fei, et al.
Published: (2025)

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

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

An Ontology-Based Approach to Optimizing Geometry Problem Sets for Skill Development
by: Bouzinier, Michael, et al.
Published: (2025)

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

13 or 14, Halloween surprise
by: Panov, Aleksei, et al.
Published: (2025)

The mathematics of periodic anthyphairesis as a basis for the full understanding of Plato's philosophy
by: Negrepontis, Stelios, et al.
Published: (2025)

The complexities of falling freely
by: Sen, Anindya, et al.
Published: (2025)

Exploring the relation between mathematical values and achievement among girls: A comparative analysis in single-sex vs. coeducational settings using TIMSS 2019 NZ data
by: Gao, Huayu, et al.
Published: (2025)

On the occasion of Dr. Ivan Dmitrievich Remizov's 40th birthday
by: Dragunova, Ksenia, et al.
Published: (2025)

An Episode in The Old Mathematical Intelligencer
by: Lamm, Christoph
Published: (2025)

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

A Brief Review of Fixed Points, Hex Game and Hex Theorem
by: Yang, Cho
Published: (2025)

A Closed Form for the Pulsar Sequence
by: Liu, Ryan, et al.
Published: (2025)

Didactic analysis of the modality of study of the real numbers in the Degree in Mathematics
by: Espín, José Ginés, et al.
Published: (2025)

Ordine privo di periodicità: il fascino matematico delle tassellazioni
by: D'Andrea, Francesco
Published: (2025)

Eulers Horizonte -- Möglichkeiten und Grenzen seiner Arbeitsweise in der Mathematik
by: Aycock, Alexander
Published: (2025)

The illusion of illusions: There are no optical corrections in the Parthenon
by: Goriely, Alain
Published: (2025)