:: Library Catalog

$Copertina$

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Nuo, Li, Hongguang, Wang, Baoyuan, Li, Jia
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	History and Overview Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2401.05384
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Hard Proofs and Good Reasons
di: DeDeo, Simon
Pubblicazione: (2024)

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

Discovering mathematical concepts through a multi-agent system
di: Aggarwal, Daattavya, et al.
Pubblicazione: (2026)

Mathematicians in the age of AI
di: Avigad, Jeremy
Pubblicazione: (2026)

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

Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
di: Weatherall, James Owen, et al.
Pubblicazione: (2026)

Is Mathematics Obsolete?
di: Avigad, Jeremy
Pubblicazione: (2025)

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

On the mechanical creation of mathematical concepts
di: G, Asvin
Pubblicazione: (2025)

The Evolution of Rough Sets 1970s-1981
di: Marek, Viktor, et al.
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

My Favorite Math Jokes
di: Khovanova, Tanya
Pubblicazione: (2024)

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

Engaging Students Through Math Competitions
di: Bajnok, Bela
Pubblicazione: (2024)

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

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

Large Language Models for Mathematicians
di: Frieder, Simon, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

From Concrete to Abstract in Indian Mathematics
di: Dasgupta, Jaidev
Pubblicazione: (2024)

Fourier Restriction: From Linear Restriction to Multilinear Restriction
di: Zhang, Sicheng
Pubblicazione: (2025)

The Shape of Math To Come
di: Kontorovich, Alex
Pubblicazione: (2025)

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

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

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

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