AI能否助人推理数学？未来或能自主推理。

Mathematical reasoning and the computer

• 融合神经网络与大模型，探索数学推理新路径
• 现有系统已可辅助证明复杂定理
• 适合关注AI与数学交叉的科研人员

计算机已改变人类进行数学的方式：它们能够高效计算。但它们是否很快就能帮助我们进行推理？它们是否有一天会开始自主推理？本文综述了神经网络、计算机定理证明器和大型语言模型的最新进展，探讨人工智能在数学推理领域的潜力与挑战。

原文摘要 · Abstract (English)

Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start reasoning themselves? We give an overview of recent developments in neural networks, computer theorem provers and large language models.

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