AI for Mathematics: A Cognitive Science Perspective

• URL: http://arxiv.org/abs/2310.13021v1
• Date: Thu, 19 Oct 2023 02:00:31 GMT
• Title: AI for Mathematics: A Cognitive Science Perspective
• Authors: Cedegao E. Zhang, Katherine M. Collins, Adrian Weller, Joshua B. Tenenbaum
• Abstract summary: Mathematics is one of the most powerful conceptual systems developed and used by the human species. Rapid progress in AI, particularly propelled by advances in large language models (LLMs), has sparked renewed, widespread interest in building such systems.
• Score: 86.02346372284292
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Mathematics is one of the most powerful conceptual systems developed and used by the human species. Dreams of automated mathematicians have a storied history in artificial intelligence (AI). Rapid progress in AI, particularly propelled by advances in large language models (LLMs), has sparked renewed, widespread interest in building such systems. In this work, we reflect on these goals from a \textit{cognitive science} perspective. We call attention to several classical and ongoing research directions from cognitive science, which we believe are valuable for AI practitioners to consider when seeking to build truly human (or superhuman)-level mathematical systems. We close with open discussions and questions that we believe necessitate a multi-disciplinary perspective -- cognitive scientists working in tandem with AI researchers and mathematicians -- as we move toward better mathematical AI systems which not only help us push the frontier of the mathematics, but also offer glimpses into how we as humans are even capable of such great cognitive feats.

Related papers

• The Mathematics of Artificial Intelligence [23.03787751696068]
  This overview article highlights the critical role of mathematics in artificial intelligence (AI) It emphasizes that mathematics provides tools to better understand and enhance AI systems. Conversely, AI raises new problems and drives the development of new mathematics at the intersection of various fields.
  arXiv  Detail & Related papers  (2025-01-15T15:00:23Z)
• Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI [3.7721193149333634]
  This paper presents a comprehensive survey on the applications of artificial intelligence (AI) in mathematical research. Recent developments in AI, particularly in reinforcement learning (RL) and large language models (LLMs), have demonstrated the potential for AI to contribute back to mathematics. This survey aims to establish a bridge between AI and mathematics, providing insights into the mutual benefits and fostering deeper interdisciplinary understanding.
  arXiv  Detail & Related papers  (2024-12-21T08:58:36Z)
• Formal Mathematical Reasoning: A New Frontier in AI [60.26950681543385]
  We advocate for formal mathematical reasoning and argue that it is indispensable for advancing AI4Math to the next level. We summarize existing progress, discuss open challenges, and envision critical milestones to measure future success.
  arXiv  Detail & Related papers  (2024-12-20T17:19:24Z)
• Imagining and building wise machines: The centrality of AI metacognition [78.76893632793497]
  We argue that shortcomings stem from one overarching failure: AI systems lack wisdom. While AI research has focused on task-level strategies, metacognition is underdeveloped in AI systems. We propose that integrating metacognitive capabilities into AI systems is crucial for enhancing their robustness, explainability, cooperation, and safety.
  arXiv  Detail & Related papers  (2024-11-04T18:10:10Z)
• Building Machines that Learn and Think with People [72.40300991089445]
  We show how the science of collaborative cognition can be put to work to engineer systems that really can be called thought partners'' We lay out several modes of collaborative thought in which humans and AI thought partners can engage and propose desiderata for human-compatible thought partnerships.
  arXiv  Detail & Related papers  (2024-07-22T02:42:45Z)
• Advancing Perception in Artificial Intelligence through Principles of Cognitive Science [6.637438611344584]
  We focus on the cognitive functions of perception, which is the process of taking signals from one's surroundings as input, and processing them to understand the environment. We present a collection of methods in AI for researchers to build AI systems inspired by cognitive science.
  arXiv  Detail & Related papers  (2023-10-13T01:21:55Z)
• When Brain-inspired AI Meets AGI [40.96159978312796]
  We provide a comprehensive overview of brain-inspired AI from the perspective of Artificial General Intelligence. We begin with the current progress in brain-inspired AI and its extensive connection with AGI. We then cover the important characteristics for both human intelligence and AGI.
  arXiv  Detail & Related papers  (2023-03-28T12:46:38Z)
• A Survey of Deep Learning for Mathematical Reasoning [71.88150173381153]
  We review the key tasks, datasets, and methods at the intersection of mathematical reasoning and deep learning over the past decade. Recent advances in large-scale neural language models have opened up new benchmarks and opportunities to use deep learning for mathematical reasoning.
  arXiv  Detail & Related papers  (2022-12-20T18:46:16Z)
• Making AI 'Smart': Bridging AI and Cognitive Science [0.0]
  With the integration of cognitive science, the 'artificial' characteristic of Artificial Intelligence might soon be replaced with'smart' This will help develop more powerful AI systems and simultaneously gives us a better understanding of how the human brain works. We argue that the possibility of AI taking over human civilization is low as developing such an advanced system requires a better understanding of the human brain first.
  arXiv  Detail & Related papers  (2021-12-31T09:30:44Z)
• Inductive Biases for Deep Learning of Higher-Level Cognition [108.89281493851358]
  A fascinating hypothesis is that human and animal intelligence could be explained by a few principles. This work considers a larger list, focusing on those which concern mostly higher-level and sequential conscious processing. The objective of clarifying these particular principles is that they could potentially help us build AI systems benefiting from humans' abilities.
  arXiv  Detail & Related papers  (2020-11-30T18:29:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.