《AI 与数学莱顿宣言》发布：聚焦形式化推理与系统可靠性

学术界与工业界共同发布《AI 与数学莱顿宣言》（Leiden Declaration on AI and Math）。宣言强调，当前大模型在形式化推理、符号计算与复杂数学证明方面仍存在明显短板，仅依靠数据驱动难以彻底解决逻辑缺陷。必须将数学严密性引入 AI 研发，从底层保障系统的可靠性、可解释性与安全性。 对开发者而言，数学基础与 AI 算法的深度融合将是下一步的技术突破点。无论是在代码生成、自动定理证明，还是在复杂智能 Agent 的推理优化上，底层逻辑校验都将发挥关键作用。宣言呼吁增加跨学科合作与资源投入，推动构建具有严密逻辑支撑的下一代 AI 技术体系。