Cover Image

Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Duede, Eamon, Davey, Kevin
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Human-Computer Interaction History and Overview
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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)

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

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

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

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

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

Deep Learning Opacity in Scientific Discovery
by: Duede, Eamon
Published: (2022)

LiveDocs: Crafting Interactive Development Environments From Research Findings
by: Klein, Pedro Costa, et al.
Published: (2024)

Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility
by: Chiodo, Maurice, et al.
Published: (2025)

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

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

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

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

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)

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)

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

AI for Mathematics: Progress, Challenges, and Prospects
by: Ju, Haocheng, et al.
Published: (2026)

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

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

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI
by: Wang, Siyuan, et al.
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)

The Mathematician's Assistant: Integrating AI into Research Practice
by: Henkel, Jonas
Published: (2025)

Mathematical Entities: Corpora and Benchmarks
by: Collard, Jacob, et al.
Published: (2024)

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

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)

Fifty Years of Excellence: The Summer School of Mathematical Physics of the National Group of Mathematical Physics
by: Ruggeri, Tommaso, 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)

AlephZero and Mathematical Experience
by: DeDeo, Simon
Published: (2023)

Mathematics in art, for art and as art
by: Esteban, Maria J.
Published: (2025)

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