人工智能（AI）正持续渗透日常数学研究，大语言模型、符号演算与形式化证明系统不断落地，工业界也愈发将数学视作自动推理技术的试验载体。诸多技术突破固然振奋人心，但随之诞生的一系列问题，值得全球数学界审慎研讨。《人工智能与数学莱顿宣言》于2026年6月2日发布，回应了当前提出的许多关键问题。
脑机接口已被明确列为我国“十五五”时期重点布局的六大未来产业之一。随着关键技术持续突破，产业加速演进，如何在推动创新的同时实现规范发展与价值引导，成为行业共同关注的重要课题。
