2026年7月17日下午，2026世界人工智能大会（WAIC）“数学与人工智能”创新论坛在上海世博中心银厅A举行。本次论坛由世界人工智能大会组委会办公室指导，斯梅尔数学与计算研究院、上海数学与交叉学科研究院、中国工业与应用数学学会、菲数中国主办，华院计算技术（上海）股份有限公司承办。论坛以“共振之巅：AI × 数学的范式跃迁”为主题，汇聚菲尔兹奖得主、国内外院士、专家及青年学者，围绕“数学何以塑造AI的本质能力”“AI如何改变数学研究范式”“数学与人工智能如何走向现实世界”三条主线展开深度探讨。
上海市人民政府副秘书长张英出席大会并致辞。她表示，当前人工智能正处从规模扩张迈向质量跃升的关键转型期，数学已由底层工具跃升为核心驱动引擎。上海正全力打造人工智能创新高地，已布局费弗曼实验室等高能级平台，算力总规模突破17万P，累计171个大模型完成备案。面向“十五五”，上海将持续深化“数学+AI”融合创新，聚焦物理神经网络、神经算子与因果建模等前沿方向，推动在半导体、航空航天、高端制造等产业场景落地，完善AI for Science开放生态，热忱欢迎全球英才来沪发展，共建智能未来。
斯梅尔数学与计算研究院执行院长、华院计算创始人兼董事长宣晓华在欢迎致辞中回顾了数学与人工智能的历史渊源。他指出，从图灵提出“机器可思考吗”到1956年达特茅斯会议，数学家始终是人工智能学科的创立者。他强调，数学研究算法，人工智能亦以算法为核心，二者在研究对象上高度契合。其导师斯梅尔教授在1998年为二十一世纪数学提出的第十八个问题——“智能的极限是什么”，至今仍具前瞻性。他期待通过本次论坛，推动数学与人工智能在“共振”中实现更深层的融合发展。
在随后的「主题一：数学何以塑造AI的本质能力」的青蓝对话中，诠信全译首席科学家、上海交通大学副教授张拳石，共同与美国国家科学院院士范剑青、芝加哥大学布斯商学院讲席教授修大成、上海数学与交叉学科研究院助理教授史良良围绕数学如何提升AI算法的鲁棒性与可解释性、因果推断与归因分析等议题展开跨代际交流。
张拳石分享了团队在神经网络内在机理形式化审计方面的研究成果，指出当前大模型尽管结果正确，但背后机理存在大量不可靠因素，对金融、医疗等高风控场景意义重大。
诠信全译 AI 机理审计解决方案能力全景
我们现已形成“算法底座—产品能力—行业场景”的完整体系：以模型表征机理、性能机理、安全加固与训练加速算法为核心引擎，构建模型机理审计、模型安全增强、模型训练效能提升三大产品能力，面向金融投资、自动驾驶、工业生产、法律合规、国防安全及基座模型厂商等高风险场景提供定制化服务。
未来，诠信全译将持续通过可解释、可审计、可加固的技术闭环，帮助企业看清模型内部机理，识别隐藏风险，验证优化效果，推动 AI 模型从“结果可用”走向“机理可信”。
