arXiv:2412.16543cs.AI2024-12综述被引 6

AI不仅能用数学,还能用创造力启发新数学研究。

Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI

  • 利用大模型和强化学习的模式识别能力激发数学创新
  • 指出当前AI在复杂演绎推理上仍有不足
  • 适合关注AI与数学交叉的科研人员阅读

本文系统综述了人工智能在数学研究中的应用,揭示其正从依赖数学理论转向反哺数学的可能性。尽管当前AI在复杂演绎推理方面存在局限,但其基于浅层模式识别的高通量输出能力,展现出独特的‘内在创造力’,可为数学研究提供新思路与方法。文章强调数学家与AI研究者间跨学科沟通的缺失:前者不熟悉最新AI进展,后者常忽视前沿数学问题的实际应用。为此,本文梳理了AI核心原理、优势及其在数学科学中的新兴应用,旨在搭建双向桥梁,促进深度融合。

原文摘要 · Abstract (English)

This paper presents a comprehensive overview on the applications of artificial intelligence (AI) in mathematical research, highlighting the transformative role AI has begun to play in this domain. Traditionally, AI advancements have heavily relied on theoretical foundations provided by mathematics and statistics. However, 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 by offering flexible algorithmic frameworks and powerful inductive reasoning capabilities that support various aspects of mathematical research. This survey aims to establish a bridge between AI and mathematics, providing insights into the mutual benefits and fostering deeper interdisciplinary understanding. In particular, we argue that while current AI and LLMs may struggle with complex deductive reasoning, their "inherent creativity", the ability to generate outputs at high throughput based on recognition of shallow patterns, holds significant potential to support and inspire mathematical research. This creative capability, often overlooked, could be the key to unlocking new perspectives and methodologies in mathematics. Furthermore, we address the lack of cross-disciplinary communication: mathematicians may not fully comprehend the latest advances in AI, while AI researchers frequently prioritize benchmark performance over real-world applications in frontier mathematical research. This paper seeks to close that gap, offering a detailed exploration of AI fundamentals, its strengths, and its emerging applications in the mathematical sciences.

AI与数学创造性计算跨学科

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。