arXiv:2412.16543v3 通知类型: 替换 摘要：本文全面概述了人工智能（AI）在数学研究中的应用，强调了AI已经开始在这一领域发挥的变革性作用。传统上，AI的进步大量依赖于数学和统计提供的理论基础。然而，最近在AI领域的进展，特别是在强化学习（RL）和大语言模型（LLMs）方面，已经展示了AI能够回馈数学的可能性，并通过提供灵活的算法框架和强大的归纳推理能力支持数学研究的各个方面。本文旨在建立AI与数学之间的桥梁，提供相互益处的洞见，并促进更深层次的跨学科理解。 特别是，我们认为虽然当前的AI和LLMs在复杂的演绎推理方面存在困难，但它们的“内在创造力”——基于浅层模式识别生成高吞吐量输出的能力——在支持和启发数学研究方面具有重大潜力。这种创造能力通常被忽视，可能是解锁数学新视角和方法的关键。此外，本文还指出了跨学科沟通的不足之处：数学家可能未能充分理解最新的AI进展，而AI研究人员往往更侧重于基准性能而非前沿数学研究中的实际应用。本文旨在弥补这一差距，详细探讨了AI的基本原理、其优势以及其在数学科学中的新兴应用。