人工智能（AI）正持续渗透日常数学研究，大语言模型、符号演算与形式化证明系统不断落地，工业界也愈发将数学视作自动推理技术的试验载体。诸多技术突破固然振奋人心，但随之诞生的一系列问题，值得全球数学界审慎研讨。《人工智能与数学莱顿宣言》于2026年6月2日发布，回应了当前提出的许多关键问题。