:: Library Catalog

$Imagen de Portada$

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Nuo, Li, Hongguang, Wang, Baoyuan, Li, Jia
Formato:	Preprint
Publicado:	2023
Materias:	History and Overview Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2401.05384
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Hard Proofs and Good Reasons
por: DeDeo, Simon
Publicado: (2024)

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

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

Mathematicians in the age of AI
por: Avigad, Jeremy
Publicado: (2026)

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

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

Is Mathematics Obsolete?
por: Avigad, Jeremy
Publicado: (2025)

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

On the mechanical creation of mathematical concepts
por: G, Asvin
Publicado: (2025)

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

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

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

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

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

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

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

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

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

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

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

My Favorite Math Jokes
por: Khovanova, Tanya
Publicado: (2024)

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

Engaging Students Through Math Competitions
por: Bajnok, Bela
Publicado: (2024)

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

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

Large Language Models for Mathematicians
por: Frieder, Simon, et al.
Publicado: (2023)

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

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

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

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

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

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

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

From Concrete to Abstract in Indian Mathematics
por: Dasgupta, Jaidev
Publicado: (2024)

Fourier Restriction: From Linear Restriction to Multilinear Restriction
por: Zhang, Sicheng
Publicado: (2025)

The Shape of Math To Come
por: Kontorovich, Alex
Publicado: (2025)

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

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

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

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