:: Library Catalog

$Cover Image$

Saved in:

Bibliographic Details
Main Authors:	Chen, Nuo, Li, Hongguang, Wang, Baoyuan, Li, Jia
Format:	Preprint
Published:	2023
Subjects:	History and Overview Artificial Intelligence
Online Access:	https://arxiv.org/abs/2401.05384
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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)

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

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

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)

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)

A new elementary proof of the formula $\sum\limits_{n=1}^{\infty}\frac{1}{n^2}=\frac{π^2}{6}$
by: Li, Jia
Published: (2025)

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

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)

Math and Dance: Notes from emerging interaction
by: Wilson, Reggie, et al.
Published: (2024)

Controlling Equational Reasoning in Large Language Models with Prompt Interventions
by: Meadows, Jordan, et al.
Published: (2023)

My Favorite Math Jokes
by: Khovanova, Tanya
Published: (2024)

Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
by: Wang, Ke, et al.
Published: (2024)

Engaging Students Through Math Competitions
by: Bajnok, Bela
Published: (2024)

An Approach to Development: Turning Education from a Service Duty to a Productive Tool
by: Alinian, Pooya, et al.
Published: (2022)

The Nature of Reasoning in Theology, Philosophy, and Mathematics
by: Mangum, Chad R.
Published: (2025)

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

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

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)

Designing Problems for Improved Instruction and Learning -- Linear Algebra
by: Allaire, Ryan H., et al.
Published: (2024)

SET! From Groups to Games
by: Khesin, Andrey Boris, et al.
Published: (2025)

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

From Concrete to Abstract in Indian Mathematics
by: Dasgupta, Jaidev
Published: (2024)

Fourier Restriction: From Linear Restriction to Multilinear Restriction
by: Zhang, Sicheng
Published: (2025)

The Shape of Math To Come
by: Kontorovich, Alex
Published: (2025)

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

Guess my number! From binary tricks to general base representations, how many cards are needed?
by: Vesco, Guglielmo
Published: (2025)

The Amazing Journey of Lars Ahlfors' Fields Medal
by: Wang, Frank
Published: (2025)

Egg Drop Problems: They Are All They Are Cracked Up To Be!
by: Cao, Xiangwen, et al.
Published: (2025)